A UML profile for dynamic execution persistence with monitoring purposes | IEEE Conference Publication | IEEE Xplore