Email zadetek: Modelo ontológico de verificación de sistemas multiagentes diseñados bajo Masina