INTERACTIVE SYSTEMS. DESIGN SPECIFICATION, AND VERIFICATION: 12TH INTERNATIONAL WORKSHOP, DSVIS 2005, NEWCASTLE UPON TYNE, UK, JULY 13-15, 2005, ... 3941 (Lecture Notes in Computer Science)