J. Bogdoll, A. David, A. Hartmanns, and H. Hermanns, mctau: Bridging the Gap between Modest and UPPAAL, SPIN 2012, pp.227-233, 2012.
DOI : 10.1007/978-3-642-31759-0_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.864

J. Bogdoll, A. Hartmanns, and H. Hermanns, Simulation and Statistical Model Checking for Modestly Nondeterministic Models, MMB & DFT 2012, pp.249-252, 2012.
DOI : 10.1007/978-3-642-28540-0_20

H. C. Bohnenkamp, P. R. D-'argenio, H. Hermanns, and J. And-katoen, MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems, IEEE Transactions on Software Engineering, vol.32, issue.10, pp.812-830, 2006.
DOI : 10.1109/TSE.2006.104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.1021

H. B. Graf, H. Hermanns, J. Kulshrestha, J. Peter, A. Vahldiek et al., A verified wireless safety critical hard real-time design, IEEE, pp.1-9, 2011.
DOI : 10.1109/wowmom.2011.5986386
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.8554

E. M. Hahn, A. Hartmanns, H. Hermanns, and J. And-katoen, A compositional modelling and analysis framework for stochastic hybrid systems, Formal Methods in System Design, vol.2, issue.2, 2012.
DOI : 10.1007/s10703-012-0167-z

A. Hartmanns, H. Hermanns, and P. Berrang, A comparative analysis of decentralized power grid stabilization strategies, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC), 2012.
DOI : 10.1109/WSC.2012.6465083

X. Stochastic, Hybrid and Real-Time Systems Service Oriented Computing: Forthcoming Challenges