The current progress of embedded computation and communication technologies are pushing several systems toward increased levels of autonomy. Transportation systems, in particular, are experiencing a substantial increase of automation for safety, comfort, and fuel efficiency. Given the life critical role of these systems, it is important to guarantee that the new designed functions keep the…