Multi-layered activity cycle diagrams and their conversion into activity-based simulation code | IEEE Conference Publication | IEEE Xplore