@inproceedings{BHL+00c,
title = {Verification of Sequential Function Charts using SMV },
author = {Bornot, S\'ebastien and Huuck, Ralf and Lakhnech, Yassine and Lukoschus, Ben},
year = {2000},
booktitle = {PDPTA 2000 special session on Formal Validation},
team = {DCS},
}
