@Misc{erkok-apc-04, author = "Levent {Erk\"{o}k}", title = "Application of formal methods in factory automation to reduce configuration-induced misprocessing risks", howpublished = "International Sematech AEC/APC Symposium XVI, Poster Session", year = "2004", month = "September", }