A Native Approach to Modeling Timed Behavior in the Pi-Calculus | IEEE Conference Publication | IEEE Xplore