Nielson, Hanne Riis, Torben Amtoft, and Flemming Nielson. 1997. “Behaviour Analysis and Safety Conditions: A Case Study in CML”. DAIMI Report Series 26 (528). https://doi.org/10.7146/dpb.v26i528.7057.