Multi-Valued Reasoning about Reactive Systems (Foundations and Trends(r) in Theoretical Computer Science)