Dóra Cziborová and Márton Elekes started their one-month secondment at ResilTech in Pontedera, Italy. They started their stay with a seminar. Dóra presented ‘Modeling and Verification of Timed Behavior in Fault-Tolerant Systems’. Márton gave a talk about ‘Assessing the Specification of Modeling Language Semantics and a Case Study on UML State Machines’. Together with ResilTech employees, they will work on modeling and verification topics.