Formal Specification of Cognitive Models in CARINA | IEEE Conference Publication | IEEE Xplore