Автоматизация, КИП SML