FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 4TH INTERNATIONAL CONFERENCE, FORMATS 2006, PARIS, FRANCE, SEPTEMBER 25-27, 2006: PROCEEDINGS