A formal assessment of synchronous testability for communicating systems | IEEE Conference Publication | IEEE Xplore