Information Technology Reference
In-Depth Information
14. deAlfaro,L.,Henzinger,T.A.:Interfaceautomata.In:FSE,Vienna,Austria,pp.
109-120. ACMPress,NewYork(2001)
15. deAlfaro,L.,Henzinger,T.A.:Interface-baseddesign.In:MarktoberdorfSummer
School.KluwerAcademicPublishers,Dordrecht(2004)
16. de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Timed interfaces. In:
Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491,
pp.108-122.Springer,Heidelberg(2002)
17. Deng, Z., Liu, J.W.s.: Scheduling real-time applications in an open environment.
In: Proceedings of the 18th IEEE Real-Time Systems Symposium, pp. 308-319.
IEEEComputerSocietyPress,LosAlamitos(1997)
18. Garland, S.J., Lynch, N.A.: The IOA language and toolset: Support for design-
ing,analyzing,andbuildingdistributedsystems.Technicalreport,Massachusetts
InstituteofTechnology,Cambridge,MA(1998)
19. Henzinger,T.A.,Matic,S.:Aninterfacealgebraforreal-timecomponents.In:IEEE
RealTimeTechnologyandApplicationsSymposium,pp.253-266.IEEEComputer
Society,LosAlamitos(2006)
20. Henzinger,T.A.,Sifakis,J.:Theembeddedsystemsdesignchallenge.In:Misra,J.,
Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1-15. Springer,
Heidelberg(2006)
21. Kaynar,D.K.,Lynch,N.A.,Segala,R.,Vaandrager,F.W.:Timedi/oautomata:A
mathematicalframeworkformodelingandanalyzingreal-timesystems.In:RTSS,
pp.166-177.IEEEComputerSociety,LosAlamitos(2003)
22. Kaynar,D.K.,Lynch,N.A.,Segala, R.,Vaandrager,F.W.:TheTheory ofTimed
I/OAutomata.SynthesisLecturesonComputerScience.Morgan&ClaypoolPub-
lishers,SanFrancisco(2009)
23. Larsen,K.G.:Modalspecifications.In:Sifakis,J.(ed.)CAV1989.LNCS,vol.407,
pp.232-246.Springer,Heidelberg(1990)
24. Larsen, K.G., Nyman, U., Wasowski, A.: Modal I/O automata for interface and
product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp.
64-79.Springer,Heidelberg(2007)
25. Larsen, K.G., Nyman, U., Wasowski, A.: Modal i/o automata for interface and
product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp.
64-79.Springer,Heidelberg(2007)
26. Larsen,K.G.,Steffen,B.,Weise,C.:Continuousmodelingofreal-timeandhybrid
systems:Fromconceptstotools.STTT1(1-2),64-85(1997)
27. Lee,I.,Leung,J.Y.-T.,Son,S.H.:HandbookofReal-TimeandEmbeddedSystems.
Chapman,BocaRaton(2007)
28. Lynch, N.: I/O automata: A model for discrete event systems. In: Annual Con-
ference on Information Sciences and Systems, pp. 29-38. Princeton University,
Princeton(1988)
29. Lynch,N.A.,Tuttle,M.R.:Anintroductiontoinput/outputautomata.Technical
ReportMIT/LCS/TM-373. TheMITPress,Cambridge(November1988)
30. Maler,O.,Pnueli,A.,Sifakis,J.:Onthesynthesisofdiscretecontrollersfortimed
systems(anextendedabstract).In:STACS,pp.229-242(1995)
31. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs
(1988)
32. Nicola,R.D.,Segala,R.:Aprocessalgebraicviewofinput/outputautomata.The-
oreticalComputerScience138(1995)
33. Raclet,J.-B.,Badouel,E.,Benveniste,A.,Caillaud, B.,Legay,A.,Passerone, R.:
Modal interfaces: unifying interface automata and modal specifications. In: EM-
SOFT,pp.87-96.ACM,NewYork(2009)
