Prototype Smarter: Cost-Effective Experiments for Software, Hardware, and Mechatronic Systems

Specifying Systems. The Tla + Language And Tools For Hardware Software Engineers

Space Launch Systems and Reusability: Engineering Reusable Vehicles for Reliability, Recovery, Cost Effective Operations

C++ Embedded Systems Development: Building Reliable Software for Hardware Constrained Environments

Dependable Embedded Systems Essentials: Methods for Ensuring Continuous Operation Under Hardware and Software Failures