Programming embedded systems: assertions and Design by Contract ...