Correct-by-Construction Approaches for SoC Design - Sinha, Roopak (Springer New York, 2014)