Click to edit Master text stylesSecond levelThird levelFourth levelFifth levelClick to edit Master title styleSpecification Techniques and Formal SpecificationsSystem models are abstract descriptions