Rodolphe Arthaud SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems. 52-71 2001 conf/sdl/2001 SDL Forum http://link.springer.de/link/service/series/0558/bibs/2078/20780052.htm db/conf/sdl/sdl2001.html#Arthaud01