Dynamic structure discrete event system specification · Study