Andreas Classen Arnaud Hubaux Patrick Heymans A Formal Semantics for Multi-level Staged Configuration. 51-60 2009 VaMoS http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf conf/vamos/2009 db/conf/vamos/vamos2009.html#ClassenHH09