Ulrich Furbach. Formal specification methods for reactive systems. Journal of Systems and Software, 21(2):129-139, 1993. [doi]
@article{Furbach93, title = {Formal specification methods for reactive systems}, author = {Ulrich Furbach}, year = {1993}, doi = {10.1016/0164-1212(93)90036-W}, url = {http://dx.doi.org/10.1016/0164-1212(93)90036-W}, researchr = {https://researchr.org/publication/Furbach93}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {21}, number = {2}, pages = {129-139}, }