Gregory M. Provan: A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. SEFM Workshops 2014: 131-143