DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-49122-5_12,1526,ToHe,Lipschitz robustness of timed I/O systems