Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov. Verification of COMDES-II Systems Using UPPAAL with Model Transformation. In The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings. pages 153-160, IEEE Computer Society, 2008. [doi]
Abstract is missing.