springer出版社1.INTRODUCTION1.1Termsandscope1.2Applicationareas1.3Growingimportance1.4Structureofthisboo2.SPECIFICATIONS2.1Requirements132.2Modelsofcomputation162.3StateCharts182.3.1Modelingofhierarchy192.3.2Timers232.3.3EdgelabelsandStateChartssemantics242.3.4Evaluationandextension