Victor L. Winter, Fabrice Kordon, Michel Lemoine. The BART Case Study. In Fabrice Kordon, Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to Master the Complexity. pages 3-22, Kluwer, 2004. [doi]
@incollection{WinterKL04,
title = {The BART Case Study},
author = {Victor L. Winter and Fabrice Kordon and Michel Lemoine},
year = {2004},
doi = {10.1007/1-4020-7997-4_1},
url = {https://doi.org/10.1007/1-4020-7997-4_1},
researchr = {https://researchr.org/publication/WinterKL04},
cites = {0},
citedby = {0},
pages = {3-22},
booktitle = {Formal Methods for Embedded Distributed Systems - How to Master the Complexity},
editor = {Fabrice Kordon and Michel Lemoine},
publisher = {Kluwer},
isbn = {978-1-4020-7996-2},
}