Discrete events system modelling and software engineering: ACSY | IEEE Conference Publication | IEEE Xplore