Partha S. Roop Forced simulation: a formal approach to component based development of embedded systems. 2000 University of New South Wales, Sydney, Australia http://hdl.handle.net/1959.4/20470 https://unsworks.unsw.edu.au/bitstreams/87e6d777-d642-4d93-a734-394b00d60ba5/download https://doi.org/10.26190/unsworks/21455 https://www.base-search.net/Record/06fb7e3ecc3bafed6a811e6261f1b3a93cd869ae5b7d3e5a54b446fc31192b81 base-search.net (ftunswworks:oai:unsworks.library.unsw.edu.au:1959.4/20470)