Modeling of dynamic object systems a logic based approach - Jungclaus, Ralf (Vieweg, 1993)