Ross McKegney Terry Shepard Techniques for Embedding Executable Specifications in Software Component Interfaces. 143-156 2003 conf/iccbss/2003 ICCBSS http://link.springer.de/link/service/series/0558/bibs/2580/25800143.htm db/conf/iccbss/iccbss2003.html#McKegneyS03