Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 103-118, Springer, 2008. [doi]
Abstract is missing.