A. Bunker, G. [. Gopalakrishnan, P. Bontemps, and . Heymans, Using Live Sequence Charts for Hardware Protocol Specification and Compliance Verification Turning High-Level Live Sequence Charts into Automata Damm and D. Harel. LSCs: Breathing life into message sequence charts Darimont and A.van Lamsweerde. Formal Refinement for Patterns for Goal-Driven Requirements Elaboration, Workshop Scenarios and State-Machines, ICSE'02 Proc. Third Conference on Formal Methods for Open Object-Based Distributed Systems Proc FSE-4, ACM Symposium on the Foundation of Software EngineeringHH00] D. Harel and H.Kugler. Synthesizing State-Based Objects Systems from LSC Specifications Proc. Fifth Int. Conf. on Implementation and Application, pp.179-190, 1996.
DOI : 10.1109/hldvt.2001.972814
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.9246

D. Harel, H. Kugler, A. Pnuelihr01, ]. Harel, and R. Ramelly, Smart Play-Out Behavioural Requirements Specifying and Analysing Behavioural Requirements: The Play-In/Play-Out Approach, Weizmann Institute of Science, 2001.

M. Heisel and J. Souquières, A Method for Requirements Elicitation and Formal Specification, Proceedings of the 18th International Conference on Conceptual Modeling, number 1728, pp.309-324, 1999.
DOI : 10.1007/3-540-47866-3_21
URL : https://hal.archives-ouvertes.fr/inria-00098987

M. Heisel and J. Souquières, De l'élicitation des besoins à la spécification formelle, TSI, vol.18, issue.7, 1999.

M. Heisel, J. Souquières, . Itu-ts, M. Genova, and . Jackson, A heuristic algorithm to detect feature interactions in requirements Language Constructs for Describing Features Message Sequence Chart (MSC) Problem Frames. Analyzing and structuring software development problems Special issue on Scenario Management, IT96] Z.120 ITU-TS. Recommendation Z Zave. Deriving Specifications from Requirements : an Example. In Proceedings 17th Int. Conf. on Software Engineering, pp.143-162, 1995.

J. Klose and H. Wittke, An Automata Based Representation of Live Sequence Charts, Proceedings of TACAS 2001, p.512, 2001.
DOI : 10.1007/3-540-45319-9_35

A. Van-lamsweerdell98, ]. A. Van-lamsweerde, and E. Letier, Integrating Obstacles in Goal-directed Requirements Handling Obstacles in Goal-directed Requirements Engineering, Proc. of the 20 th International Conference on Software Engineering, IC- SE'98 Transactions on Software Engineering, editor, Special Issue on Exception Handling8PM95] D.L. Parnas and Madey. Functional Documents for Computer Systems. Science of Computer Programming, pp.41-51, 1995.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Guide, 1998.

K. Weidenhaupt, K. Pohl, M. Jarke, P. [. Haumer, M. Zave et al., Scenario Usage in System Development: A Report on Current Practice Four dark corners of requirements engineering, IEEE Software ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.1-30, 1997.