@inproceedings{BHL+00a,
title = {Utilizing Static Analysis for Programmable Logic Controllers },
author = {Bornot, S\'ebastien and Huuck, Ralf and Lakhnech, Yassine and Lukoschus, Ben},
year = {2000},
booktitle = {ADPM 2000 - The 4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems},
team = {DCS},
}