Emergency stops (2001)

Description of the two types of emergency stops (general and local emergency stops), the definition of the buildings or areas to be equipped, and effects due to these emergency stops on power supplies or accelerators. Exceptions and rules for safety equipment.