Graw, Günter2010-05-312010-05-312010-05-31http://hdl.handle.net/2003/2724710.17877/DE290R-13011deChemietechnische AnlageSteuerungssoftwarecTLATLAUMLVerfeinerungsmusterAnalysemusterEntwurfsmusterVerfeinerungModel-CheckerOPC UAIEC 61131-3004Korrekte Steuerungssoftwaredoctoral thesisSteuerungssystemUMLUnified modeling languageEntwurfsmusterTLA <Logik>SoftwareentwurfIndustrielle AnlageModel Checkingurn:nbn:de:hbz:290-2003/27247-7