Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally. Modularity and Composition in Propositional Statecharts. In Dave Barker-Plummer, Richard Cox, Nik Swoboda, editors, Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings. Volume 4045 of Lecture Notes in Computer Science, pages 98-103, Springer, 2006. [doi]