Title: Specification and design of software systems