'Automated formal verification of visual modeling languages by model checking' was published in which year?
What year was 'Automated formal verification of visual modeling languages by model checking' published?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/journals/sosym/Varro04> <https://dblp.org/rdf/schema#yearOfPublication> ?answer }
<https://dblp.org/rec/journals/sosym/Varro04>