Jacques Hagelstein;Dominique Roelants van Baronaigien;Pierre Wodon
-;-;-
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
A Guided Tour through the ICARUS Project
ACM SIGSOFT Software Engineering Notes