Telecom and Informatics 1 INF5120 ”Modellbasert Systemutvikling” ”Modelbased System development” Lecture 6: 20.02.2012 Arne-Jørgen Berre [email protected]@ifi.uio.no.