@inproceedings{dubinin_vyatkin_hanisch_2006, 
  title={Modelling and Verification of IEC 61499 Applications using Prolog}, 
  DOI={10.1109/etfa.2006.355449}, 
  publisher={IEEE}, 
  author={Dubinin and Vyatkin and Hanisch}, 
  year={2006}
  }