Toby Myers, R. Geoff Dromey. From Requirements to Embedded Software - Formalising the Key Steps. In 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Golad Cost, Australia. pages 23-33, IEEE Computer Society, 2009. [doi]
Abstract is missing.