Added the Semantifyr tool

src/components/research-components/ToolsSection.tsx

@@ -62,22 +62,32 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
           <Tool title="research.tools.tool3.title" desc="research.tools.tool3.desc" url="https://refinery.tools/">
             <StaticImage
               src="../../../static/images/logos/refinery-logo.svg"
-              alt={t('research.tools.tool2.title')}
+              alt={t('research.tools.tool3.title')}
               width={58}
               style={{ filter: 'brightness(0) invert(1)' }}
             />
           </Tool>
         </Col>
         <Col lg={4} md={6} className="mb-5 mt-5">
-          <Tool title="research.tools.tool4.title" desc="research.tools.tool4.desc" url="https://eclipse.dev/viatra">
+          <Tool title="research.tools.tool4.title" desc="research.tools.tool4.desc" url="https://ftsrg.mit.bme.hu/semantifyr">
             <StaticImage
-              src="../../../static/images/logos/viatra.png"
+              src="../../../static/images/logos/semantifyr-logo.svg"
               alt={t('research.tools.tool4.title')}
               width={58}
               style={{ filter: 'brightness(0) invert(1)' }}
             />
           </Tool>
         </Col>
+        <Col lg={4} md={6} className="mb-5 mt-5">
+          <Tool title="research.tools.tool5.title" desc="research.tools.tool5.desc" url="https://eclipse.dev/viatra">
+            <StaticImage
+              src="../../../static/images/logos/viatra.png"
+              alt={t('research.tools.tool5.title')}
+              width={58}
+              style={{ filter: 'brightness(0) invert(1)' }}
+            />
+          </Tool>
+        </Col>
       </Row>
     </Hero>
   )

src/locales/en/research.json

@@ -20,8 +20,10 @@
   "research.tools.tool2.desc": "The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.",
   "research.tools.tool3.title": "Refinery graph solver",
   "research.tools.tool3.desc": "Refinery is an efficient graph solver for generating diverse, well-formed domain-specific models using partial modeling techniques.",
-  "research.tools.tool4.title": "VIATRA",
-  "research.tools.tool4.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.",
+  "research.tools.tool4.title": "Semantifyr",
+  "research.tools.tool4.desc": "Semantifyr is a framework to support the declarative definition of engineering model semantics.",
+  "research.tools.tool5.title": "VIATRA",
+  "research.tools.tool5.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.",
 
   "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.",
   "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.",