H Peng, X Zhang, G Cao, Z Liu, Y Jing… - Scientific …, 2021 - Wiley Online Library
Event‐B is a formal modeling language that is very suitable for software engineering, but it
lacks the ability of modeling time. Researchers have proposed some methods for modeling …