A complete test strategy based on interacting and hierarchical FSMs