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.
@article{BoisDZ97, title = {On the Use of a Formal Requirements Engineering Language: The Generalized Railroad Crossing Problem}, author = {Philippe Du Bois and Eric Dubois and J. M. Zeipen}, year = {1997}, tags = {language engineering, requirements engineering}, researchr = {https://researchr.org/publication/BoisDZ97}, cites = {0}, citedby = {0}, journal = {Requir. Eng.}, volume = {2}, number = {4}, pages = {171-183}, }