Pacemaker Formal Methods Challenge
The Specification

The Specification defines the functions and operating characteristics, identifies the system environmental performance parameters, and characterizes anticipated uses of the system.

Download a full version of the Specification here (PDF)