by Behrmann, Gerd, Larsen, Kim G., Rasmussen, Jacob I.
Published in Formal Methods for Components and Objects (2005)

by Jessen, Jan Jakoh, Rasmussen, Jacob Illum, Larsen, Kim G., David, Alexandre
Published in Formal Modeling and Analysis of Timed Systems (2007)

by Rasmussen, Jacob I., Behrmann, Gerd, Larsen, Kim G.
Published in Tools and Algorithms for the Construction and Analysis of Systems (2007)