Maritta Heisel, Jeanine Souquières. A Method for Requirements Elicitation and Formal Specification. In Jacky Akoka, Mokrane Bouzeghoub, Isabelle Comyn-Wattiau, Elisabeth Métais, editors, Conceptual Modeling - ER 99, 18th International Conference on Conceptual Modeling, Paris, France, November, 15-18, 1999, Proceedings. Volume 1728 of Lecture Notes in Computer Science, pages 309-324, Springer, 1999. [doi]
Abstract is missing.