From basic to timed net models of Occam: an application to program placement | IEEE Conference Publication | IEEE Xplore