Wednesday 7th October
	09.15 - 10.00	Invited presentation (Chair: D. Inverso)
		Software Development Tools and Safety-related Procedures for the Development of Application Software for Safety-related Systems - A. Frederickson, Triconex Corporation, Irvine, Ca, USA
	10.00 - 11.30	Formal Methods III - Petri Nets (Chair: S. Anderson)
		Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets - F. Saglietti
		Safety Verification of Software Using Structured Petri Nets - K. Sacha
	11.30 - 12.00	Coffee
	12.00 - 13.30	Reliability (Chair: A. Pasquini)
		Refinement of Safety-Related Hazards into Verifiable Code Assertions - K. Wong and J.J. Joyce
		A Conceptual Comparison of Two Commonly Used Safeguarding Principles - B. Knegtering and A. Brombacher
		A Holistic View on the Dependability of Software-Intensive Systems - G. Sonneck, E. Schoitsch and L. Strigini
	13.30 - 13.50	Announcement SAFECOMP 99 - A. Pasquini
	13.50 - 14.00	Close
	Should any speaker be unable to attend, a reserve paper will be presented instead; it will be taken from the following list:
	Verifying Integrity of Decision Diagrams - R. Drechsler
	Object Oriented Safety Analysis of an Extra High Voltage Substation Bay - B. Nowicki and J. Górski
	Fault-Tolerant Communication in Large-Scale Manipulators - H.-D. Kochs, W. Geisselhardt, H. Hilmer and M. Lenord
	Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns - H. Rust
	ANSI-C in Safety Critical Applications Lessons-Learned from Software Evaluation - A. Lindner
	Linking Hazard Analysis to Formal Specification and Design in B - K. Lano, P. Kan and A. Sanchez
	Impact of Object Oriented Software Engineering Applied to the Development of Security Systems - S. Jovalekic and B. Rist
	Proceedings: Lecture Notes in Computer Science Proceedings: (Springer, Verlag) Proceedings: Contact: A. Washington