Үүнийг мессежээр илгээх: Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.