On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem. - Philippe Du Bois; Eric Dubois 001; Jean-Marc Zeippen (RE, 1997)

On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem. - Philippe Du Bois; Eric Dubois 001; Jean-Marc Zeippen (Requir. Eng., 1997)

Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems. - Jean-Marc Zeippen; Eric Dubois 001; Philippe Du Bois (ISORC, 1998)