Emil Vassev, Mike Hinchey. Developing Self-Managing Embedded Systems with ASSL. In 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2010, Carmona, Sevilla, Spain, May 4-7, 2010. pages 81-89, IEEE Computer Society, 2010. [doi]
Abstract is missing.