Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation | IEEE Conference Publication | IEEE Xplore