E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda. Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and Uppaal. Journal of Logic and Algebraic Programming, 65(2):51-104, 2005. [doi]
Abstract is missing.