A verified wireless safety critical hard real-time design. - Hernan Baro Graf; Holger Hermanns; Juhi Kulshrestha; Jens Peter; Anjo Vahldiek; Aravind Vasudevan (WOWMOM, 2011)