1 Specification of IT Systems – Introduction. 2 Book and web pages zIn the course we use the following litterature: yDesign Methods for Reactive Systems.