Michelle L. Crane: Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification. MoDELS (Doctoral Symposium) 2007