“...International Conference on Formal Engineering Methods Šanghaj, Čína)...”