Let's PARTY: Process Algebra With Real-time From York | IEEE Conference Publication | IEEE Xplore