SOFSEM2007
Monday - Dependable Software and Systems - Requirement Specification and Modeling