Contract testing for reliable embedded systems - Schmidlin Fajardo Silva, Raul (2013)