Software Engineering: Specification, Implementation, Verification