Implementation of the conformation of MSC and SDL diagrams in the REAL technology. - Andrey N. Terekhov; V. V. Sokolov (Program. Comput. Softw., 2007)