Up and Down The Temporal Way

Open Access
Publisher Website
Google Scholar
Abstract
A formal specification of a multiple-life system is constructed. The example illustrates and justifies one of many possible system specification styles based on temporal techniques.