Pluska, Michal; Sinclair, David
(20th European Meeting on Cybernetics and System Research, 2010)
Embedded system interacting with physical world should be designed with high degree of safety. In most existing design approaches dealing with such systems verification is done afterwards what may lead to redesign problems. ...