Definitive specification of concurrent systems | IET Conference Publication | IEEE Xplore