2025-09-032025-09-03https://hdl.handle.net/11420/5721128th Workshop "Methods and Description Languages for Modeling and Verification of Circuits and Systems", MBMV 2025Workshop