"Verification of component-based embedded system designs" - читать интересную книгу автора (by Daniel Karlsson.)