Below a list of small software tools that someone may find useful 
 
  *[[archi_to_owl|Archimate To OWL]]
  *[[archi_to_nusmv|Archimate To NuSMV]]