应用形式化与实时语言的面向方面方法

• AOSD employing formal development mothed and real-time language