Mark Denford Tim O'Neill John Leaney Architecture-Based Design of Computer Based Systems. 20-27 2003 STRAW http://se.uwaterloo.ca/~straw03/ProceedingsSTRAW03.pdf conf/icse/2003straw db/conf/icse/straw2003.html#DenfordOL03