Jeremy Bryans Maciej Koutny Laurent Mazaré Peter Y. A. Ryan Opacity generalised to transition systems. 421-435 2008 7 Int. J. Inf. Sec. 6 http://dx.doi.org/10.1007/s10207-008-0058-x db/journals/ijisec/ijisec7.html#BryansKMR08