Formal specificat. embedded systems by Diepstraten