Metropolis Meta Model
Processes, communication media, netlist
Describe functional requirement
A mechanism of refinement
Replace process and medium by subnetlists of processes and media
Temporal and propositional logics
Constraints