@mastersthesis{TUW-112086, author = {Gosetti, Ivo}, title = {Formale Beschreibung einer IEC 61499 - Laufzeitumgebung unter Ber{\"u}cksichtigung von Echtzeitanforderungen und dem unterlagerten Betriebssystem}, school = {Institut f{\"u}r Automatisierungs- und Regelungstechnik}, year = {2007} }