A Study of the Electrum and DynAlloy Dynamic Behavior Notations | IEEE Journals & Magazine | IEEE Xplore