This book presents a synthesis of recent works concerning reactive system design. The term ̀reactive system' has been introduced in order to avoid ambiguities often involved with the term ̀real-time system' which, while being best-known and suggestive, has been assigned so many di…