Contract testing for reliable embedded systems - Schmidlin Fajardo Silva, Raul (Heidelberg, Univ., Diss., 2013, 2013)
Zs.fassung in dt. Sprache