@article{HLL01,
title = {Verifying Untimed and Timed Aspects of the Experimental Batch Plant },
author = {Huuck, Ralf and Lukoschus, Ben and Lakhnech, Yassine},
year = {2001},
journal = {European Journal of Control},
number = {4},
pages = {400-415},
volume = {7},
team = {DCS},
}
