The ER and EAS Formalisms for System Modelling, and the EAS-E Language