J. Almendros-jimenez and L. Iribarne, Describing use cases with activity charts. Metainformatics , 3511 of LNCS, pp.141-159, 2004.

P. Dhaussy, J. Auvray, S. De-belloy, F. Boniol, and E. Landel, Using context descriptions and property definition patterns for software formal verification, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
DOI : 10.1109/ICSTW.2008.52

URL : https://hal.archives-ouvertes.fr/hal-00517276

P. Dhaussy, P. Pillain, S. Creff, A. Raji, Y. L. Traon et al., Evaluating context descriptions and property definition patterns for software formal validation. MoDELS, LNCS, vol.5795, pp.438-452, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00635653

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, ICSE, pp.411-420, 1999.

J. Gutiérrez, C. Nebut, M. Escalona, and M. Mejías, Visualization of Use Cases through Automatically Generated Activity Diagrams, 2008.
DOI : 10.1007/978-3-540-87875-9_6

A. V. Lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

S. Mustafiz, J. Kienzle, and H. Vangheluwe, Model transformation of dependability-focused requirements models, 2009 ICSE Workshop on Modeling in Software Engineering, 2009.
DOI : 10.1109/MISE.2009.5069897

C. Nebut, F. Fleurey, Y. Letraon, and J. Jézéquel, A Requirement-Based Approach to Test Product Families, 2003.
DOI : 10.1007/978-3-540-24667-1_15

URL : https://hal.archives-ouvertes.fr/hal-00794799