The ASSL approach to specifying self-managing embedded systems

Emil Vassev, Mike Hinchey. The ASSL approach to specifying self-managing embedded systems. Concurrency - Practice and Experience, 24(16):1860-1878, 2012. [doi]

Abstract

Abstract is missing.