Slides presented at ICWE 2011 tutorial. Further information: http://wis.ewi.tudelft.nl/icwe2011/tutorial/