在xyz/e中实现混成实时系统——蒸气锅炉控制问题的解决(英文)

xyz/e是一个时序逻辑系统，同时也是一种时序逻辑程序设计语言。xyz/e能够在统一的框架下表示高层和低层的描述，所以便于软件系统的描述与实现。该文对基于xyz/e的蒸气锅炉问题进行了描述与实现，并介绍了为该问题实现的图形用户界面.