Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach