@inproceedings{conf/etfa/LuderSTP05,
	title = {Formal models for the verification of IEC 61499 function block based control applications.},
	author = {Arndt Lüder and Christian Schwab and Marcus Tangermann and Jörn Peschke},
	booktitle = {ETFA},
	crossref = {conf/etfa/2005},
	publisher = {IEEE},
	url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#LuderSTP05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/253c9d6d7a4ea39d12d807b2a54ff9392/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612508}, date = {2007-07-10},
	keywords = {dblp }
}