Daniel Moldt Juan Carlos Augusto Ulrich Ultes-Nitsche Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009 INSTICC PRESS 978-989-8111-90-6 MSVVEIS 2009 db/conf/vveis/msvveis2009.html