Antonio Mendes da Silva Filho. Statecharts supervision models for reactive systems. In Dennis Bockus, Karen Bennet, W. Morven Gentleman, J. Howard Johnson, Evelyn Kidd, editors, Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada. pages 16, IBM, 1995. [doi]
Abstract is missing.