@inproceedings{DBLP:conf/hybrid/EngelKMPRS92, author = {Marcin Engel and Marcin Kubica and Jan Madey and David Lorge Parnas and Anders P. Ravn and A. John van Schouwen}, title = {A Formal Approach to Computer Systems Requirements Documentation.}, booktitle = {Hybrid Systems}, year = {1992}, pages = {452-474}, crossref = {DBLP:conf/hybrid/1992}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/hybrid/1992, editor = {Robert L. Grossman and Anil Nerode and Anders P. Ravn and Hans Rischel}, title = {Hybrid Systems}, booktitle = {Hybrid Systems}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {736}, year = {1993}, isbn = {3-540-57318-6}, bibsource = {DBLP, http://dblp.uni-trier.de} }