Nielson, H. R., T. Amtoft, and F. Nielson. “Behaviour Analysis and Safety Conditions: A Case Study in CML”. DAIMI Report Series, vol. 26, no. 528, Oct. 1997, doi:10.7146/dpb.v26i528.7057.