Asuman Suenbuel Correct by Construction Components Or: Would Nasreddin Use Components? 12-15 2003 conf/euromicro/2003 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/2003/1996/00/19960012.pdf db/conf/euromicro/euromicro2003.html#Suenbuel03