Steigmiller, et al.. Konclude: System Description. Elsevier BV, 2014, doi:10.1016/j.websem.2014.06.003.