G. Britov, “Verification, Validation and Testing of Computer Models of Linear Dynamic Systems”, ICS, no. 2, pp. 75-82, Apr. 2013.