Embedded and Iot Software Development: Tips, Tricks and Building BlocksRobert OshanaHäftad, 2019779 kr
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model CheckingDoron DrusinskyHäftad, 2006859 kr