Modeling Multi-Level Systems - Iordache, Octavian (Springer Berlin Heidelberg, 2011)