Since introduction of the first version of 
RuleChecker
C
in approximately 1995, 
[Marc Thirion] 
has been making components of 
Logiscope
[http://telelogic.com]
[script]able in [Tcl].