Laraand Vangheluwe. Translating Model Simulators to Analysis Models. Springer Berlin Heidelberg, 2008, doi:10.1007/978-3-540-78743-3_6.