Ulrich Ultes-Nitsche Daniel Moldt Juan Carlos Augusto Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008 INSTICC PRESS 978-989-8111-43-2 MSVVEIS 2008 db/conf/vveis/msvveis2008.html