Elizabeth Haywood, Philip W. Dart. Analysis of Software System Requirements Models. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 131, IEEE Computer Society, 1996. [doi]
Abstract is missing.