CAST: Automating Software Tests for Embedded Systems. - Michael Wahler; Ettore Ferranti; Robin Steiger; Rahul Jain 007; Kristian Nagy (ICST, 2012)