DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-53413-7_2,1335,"KrCh,ToHe",Quantitative monitor automata