Developing Self-Managing Embedded Systems with ASSL | IEEE Conference Publication | IEEE Xplore