Automated System Testing of Real-Time Embedded Systems Based on Environment ModelsAs of May 2026, all Simula affiliated publications are now stored in The Norwegian Research Information Repository (NVA).See this publication on NVA