Testing Of Communicating Systems by Rolland Groz