1. Baier, C.: On algorithmic verification methods for probabilistic systems. Habilitation thesis, Fakultät für Mathematik & Informatik, Universität Mannheim (1998)
2. Lecture Notes in Computer Science;C Baier,1999
3. Ballarini, P., Barbot, B., Duflot, M., Haddad, S., Pekergin, N.: HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Performance Evaluation, 2015. To appear
4. Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: Cosmos: a statistical model checker for the hybrid automata stochastic logic. In: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), pp. 143–144. IEEE (2011)
5. Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: HASL: an expressive language for statistical verification of stochastic models. In: Samson Lasaulce, P.H., Fiems, D., Vandendorpe, L. (eds.) Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS’11), pp. 306–315. ICST, Cachan (2011)