On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem

Philippe Du Bois, Eric Dubois, J. M. Zeipen. On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem. Requir. Eng., 2(4):171-183, 1997.

Abstract

Abstract is missing.