@InProceedings{,
  author = 	 {Ed Brinksma and Angelika Mader},
  title = 	 {Verification and Optimization of a PLC Control Schedule},
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {2000},
}