Testing Of Communicating Systems by Alexandre Petrenko & Nina Yevtushenko