Formal methods play an important role in the development of software and hardware systems. In recent years, there has been a growing interest to apply these methods in the area of medical guidelines and protocols. This paper summarises these efforts, compares the approaches and discusses the role of formal methods in this area.

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

The Clinica Para Madres (Mother?s Clinic) opened in Tucson, Arizona, in December of 1934 as the first birth control [3] clinic in Arizona. After moving to Tucson, birth control [3] activist Margaret Sanger, along with a group of local philanthropic women, founded the clinic to provide Arizona women with contraception [4]. During the early 1900s in the US, contraception [4] was illegal under the...

Article history: Received 5 May 2012 Received in revised form 22 August 2013 Accepted 18 September 2013 Available online xxxx