Source : Free On-Line Dictionary of Computing

KMODEL
     
        An ancestor of Model-K.  "Preliminary Results on the BEHAVIOUR
        Specifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991,
        GMD, Sankt Augustin, Germany