Nielson, Hanne Riis, Torben Amtoft, and Flemming Nielson. “Behaviour Analysis and Safety Conditions: A Case Study in CML”. DAIMI Report Series 26, no. 528 (October 1, 1997). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7057.