A semantic support for testing activities of safety-critical embedded systems