This book will attempt to give a first synthesis of recent works con­ cerning reactive system design. Industrial process control systems, transporta­ tion control and supervision systems, signal-processing systems, are ex­ amples of the systems we have in mind.