Analysing Real-time Distributed Systems using Timed Actors | IEEE Conference Publication | IEEE Xplore