SML(ID:2570/sml004)

System Modelling Language 

System Modelling Lanugage, based on Possible World Semantics
Related languages
CML => SML   Variant
SML => TELOS   Evolution of