Describing open distributed systems: a foundation | IEEE Conference Publication | IEEE Xplore