Asuman Suenbuel. Correct by Construction Components Or: Would Nasreddin Use Components?. In 29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey. pages 12-15, IEEE Computer Society, 2003. [doi]
Abstract is missing.