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