Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
scientific article; zbMATH DE number 6609546
scientific article