A simplified token bus protocol specified using LOTOS
A simplified token bus protocol specified using LOTOS / Luc Rooijakkers and Mieke Massink