There are many examples of the utilization of formal methods for creating complete specifications of software applications. Often these are bounded in scope to the concept of a critical system. This work looks to expand ...