1. Arous, M., Saidouni, D.E., Ilié, J.M.: Maximality Semantics based Stochastic Process Algebra for Performance Evaluation. In: 1st IEEE International Conference on Communications, Computing and Control Applications (CCCA 2011), Hammamet, Tunisia, March 3-5 (2011), IEEE Catalog Number: CFP1154M-ART, ISBN: 978-1-4244-9796-6
2. Arous, M., Saidouni, D.E., Ilié, J.M.: Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems. In: to appear in 2nd International Conference on Computer and Software Modeling - ICCSM 2012, Cochin, India, October 20-21. IPCSIT (2012)
3. Arous, M., Bouaroudj, K., Saïdouni, D.E.: An environment for modeling and verifying / testing stochastic systems. Issues of JATIT 50 ( appear in April 2013)
4. Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: 12th Int. Workshop on Testing of Communicating Systems. Kluwer (1999)
5. Bouaroudj, K., Kitouni, I., Hachichi, H., Saidouni, D.E.: Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems. IJCSI 9(5) (September 2012)