Statechart simulator for modeling architectural dynamics | IEEE Conference Publication | IEEE Xplore