Juan Carlos Augusto Joseph Barjis Ulrich Ultes-Nitsche Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007 INSTICC PRESS 978-972-8865-95-5 MSVVEIS 2007 db/conf/vveis/msvveis2007.html