Device Mechanism: A Structured Device Driver Development Approach. - Raul Schmidlin Fajardo Silva; Guillermo Marcus (HASE, 2012)

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