Schmidlin Fajardo Silva, Raul (2013) Contract Testing for Reliable Embedded Systems. [Dissertation]