https://mgrave.srht.site/ https://mgrave.srht.site/category/ https://mgrave.srht.site/papers/ https://mgrave.srht.site/papers/etfa2025-formal-iec61499-transformation/ 2025-08-02 https://mgrave.srht.site/papers/mmar-ros2-iec61499/ 2024-08-01 https://mgrave.srht.site/papers/splc2025-towards-concistency/ 2025-08-03 https://mgrave.srht.site/papers/splc2025-uvl-tutorial/ 2025-08-01 https://mgrave.srht.site/posts/ https://mgrave.srht.site/tag/