COSY ? a system specification language based on paths and processes