ControlML: A domain-specific modeling language in support of assessing internal controls and the internal control system - Heise, David; Strecker, Stefan; Frank, Ulrich (International Journal of Accounting Information Systems (IJAIS), 2014)