Abstract: Embedded systems become increasingly complex and distributed. Although there is necessity for thourough testing, exhaustive validiation and verification is hardly possible in industry due to ...