Return to Article Details MBT for Functional Testing of Embedded Systems Download Download PDF