History: 1997 - 2007 - SEN2 - Specification and Analysis of Embedded Systems