Formal specification of sensorsKuusik, Alar; Vain, JüriRinghääling '99 : VI Rahvusvahelise Telekommunikatsioonipäeva konverentsi ettekannete materjalid1999 / lk. 80-83