Sinha R. Correct-by-Construction Approaches for SoC Design / R. Sinha, P. Roop, S. Basu, 2014 r=on-line. - Текст : электронный.