ALICE: An Advanced Logic for Interactive Component Engineering. - Borislav Gajanovic; Bernhard Rumpe (VERIFY, 2007)

Model Driven Testing of Time Sensitive Distributed Systems. - Borislav Gajanovic; Hans Grönniger; Bernhard Rumpe (CoRR, 2014)