Refactor the occurrence prop. and add system-level constraints / hazards
This is the AADL / modeling half of santoslab/aadl-translator#16 and
santoslab/aadl-translator#17.
Merge branch 'master' of git@github.com:sprocter/aadl-map-apps