De Nicola, Rocco  A formal approach to autonomic systems programming: the SCEL language.   In:  Formal Aspects of Component Software.   Lecture Notes in Computer Science .  Springer, pp. 24-28.  ISBN 978-3-319-15317-9      (2015)