Heimdahl, M. P. E. And Leveson, N. "Completeness and consistency analysis of statebased requirements" in Proceedings of the 17th International Conference on Software Engineering (ICSE ’95) (Seattle, Wash., Apr.). ACM, New York, 3–14. 1995

Languages mentioned

• RSML {1991} Hardware requirements DT language