Correct-by-Construction Approaches for SoC Design - Sinha, Roopak; Roop, Parthasarathi; Basu, Samik (Springer New York : Imprint: Springer, 2014)