2007
 
Henrik Bohnenkamp, Holger Hermanns, and Joost-Pieter Katoen. Motor: The MoDeST Tool Environment. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 500–504. Volume 4424 of Lecture Notes in Computer Science. Springer-Verlag, 2007.

2006
 
Henrik Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering, 32(10):812–830, 2006.
 
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, and Holger Hermanns. Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report 06-14, University of Twente, 2006. ISSN 1381-3625.

2005
 
Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, and Joost-Pieter Katoen. Are you still there? — A Lightweight Algorithm To Monitor Node Presence in Self-Configuring Networks. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), pages 704–709. IEEE Computer Society, 2005.
 
Pedro R. D’Argenio, and Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata. Information and Computation, 203(1):1–38, 2005.
  Pedro R. D’Argenio, and Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra. Information and Computation, 203(1):39–74, 2005.

2004
 
Henrik Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, and Yaroslav Usenko. Synthesis and stochastic assessment of schedules for lacquer production. In Quantitative Evaluation of Systems (QEST 2004). pages 28–37. IEEE Computer Society Press, 2004.
 
Joost-Pieter Katoen, Henrik Bohnenkamp, Ric Klaren, and Holger Hermanns. Embedded software analysis with MOTOR. In Formal Methods for the Design of Real-Time Systems (SFM-RT 2004). pages 268–294. Volume 3185 of LNCS. Springer-Verlag, 2004.

2003
  Henrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Vinh Vi Lam, and Bill Sanders. On integrating the Möbius and MoDeST modeling tools. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), pages 671–671. IEEE Computer Society Press, 2003.
 
Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, and Ric Klaren. The MoDeST Modeling Tool and its implementation. In Computer Performance Evaluation—Modelling Techniques and Tools (TOOLS 2003). Volume 2794 of LNCS. Springer-Verlag, 2003.

2001
 
Pedro R. D’Argenio, Holger Hermanns, Joost-Pieter Katoen, and Ric Klaren. MoDeST: A Modelling language for Stochastic Timed systems. In Luca de Alfaro, and Stephen Gilmore, editors, Process Algebra and Probabilistic Methods (PAPM-Probmiv). pages 87–104. LNCS vol. 2165, Springer-Verlag, 2001.

2000
  Pedro R. D’Argenio. A compositional Translation of Stochastic Automata into Timed Automata. Technical Report TR-CTIT-00-08, CTIT, University of Twente, 2000.

1999
  Pedro R. D’Argenio. Algebras and Automata for Timed and Stochastic Systems. PhD Thesis, Department of Computer Science, University of Twente, 1999.