Tema: For teknisk software til indlejrede systemer i rumfart, fly og jernbaner er almindelig test ikke nok. I stedet handler det om modelbaseret udvikling, matematisk verifikation og kodegenerering.