Formalisms for Reuse and Systems Integration : FMI 2014: Workshop on Formal Methods Integration: Conference proceedings / ed.: Th. Bouabana-Tebibel, S. H. Rubin, 2015 r=on-line. - Текст : электронный.