Computerized safety checklist systems designed for improving care-givers' situation awareness are emerging in recent years. These systems are proved to be effective for improving adherence to guidelines while keeping high user acceptance. However, most of these systems are still hard-coded since it is yet unclear to what extent can existing guideline modeling languages capture the requirements for such a type of systems. This paper answers this research question by carrying out three case studies using three distinct and representative type of guideline languages. The expressiveness, interoperability, and maintainability of these three languages are compared against the requirements of typical computerized safety checklists. The results ind...