Testing Labelled Markov Processes. - Franck van Breugel; Steven Shalit; James Worrell 001 (ICALP, 2002)