Towards an ex-ante Specifications Assessment through a Combination of Systems Optimization and Agent-based Simulation.