Britov, G.: Verification, Validation and Testing of Computer Models of Linear Dynamic Systems. Information and Control Systems(2), 75-82 (2013)