Zaslat SMS: An object-oriented modelling technique for analysis and design of complex (real-time) systems :