A small universal model for system executions | IEEE Conference Publication | IEEE Xplore