基于实时语言和面向方面的形式化开发方法

• Formal development method based on real-time language method and aspect-oriented