Control pattern based analysis of HCM-L, a language for cognitive modeling | IEEE Conference Publication | IEEE Xplore