Seol mar théacs é seo: Extracting simulation models from complex industrial real-time systems