Integrated Functional and Performance Analyses of Concurrent Distributed Systems Described with the Language EMPA