J-R. Abrial (1996):
The B-Book: Assigning Programs to Meanings.
Cambridge University Press,
doi:10.1017/CBO9780511624162.
J-R. Abrial (2010):
Modeling in Event-B: System and Software Engineering.
Cambridge University Press.
N. Ahmed (2006):
Dynamic Systems and Control With Applications.
World Scientific.
R. Alur, C. Courcoubetis, T. Henzinger & P-H. Ho (1993):
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.
In: Proc. Workshop on Theory of Hybrid Systems,
LNCS 736.
Springer,
pp. 209–229.
R. Alur & D. Dill (1994):
A Theory of Timed Automata.
Theor. Comp. Sci. 126,
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
P. Antsaklis & A. Michel (2006):
Linear Systems.
Birkhauser.
R. Banach:
Model Based Refinement and the Design of Retrenchments..
Available from RET..
R. Banach & C. Jeske:
Retrenchment and Refinement Interworking: the Tower Theorems..
Submitted.
R. Banach, C. Jeske & M. Poppleton (2008):
Composition Mechanisms for Retrenchment.
J. Log. Alg. Prog. 75,
pp. 209–229,
doi:10.1016/j.jlap.2007.11.001.
R. Banach, M. Poppleton, C. Jeske & S. Stepney (2007):
Engineering and Theoretical Underpinnings of Retrenchment.
Sci. Comp. Prog. 67,
pp. 301–329,
doi:10.1016/j.scico.2007.04.002.
S. Barnett (1975):
Introduction to Mathematical Control Theory.
Oxford University Press.
E. Börger (2003):
The ASM Refinement Method.
F.A.C.J. 15,
pp. 237–257.
E. Börger & R.F. Stärk (2003):
Abstract State Machines. A Method for High Level System Design and Analysis.
Springer.
F. Clarke (1987):
Optimization and Nonsmooth Analysis.
Society for Industrial Mathematics.
F. Clarke, Y. Ledyaev, R. Stern & P. Wolenski (1997):
Nonsmooth Analysis and Control Theory.
Springer.
J. Cohen & A. Slissenko (2008):
Implementation of Timed Abstract State Machines with Instantaneous Actions by Machines with Delays.
Technical Report TR-LACL-2008-2.
LACL, University of Paris-12.
J. Crow, S. Owre, J. Rushby, N. Shankar & M. Srivas (1995):
A Tutorial Introduction to PVS.
In: R. France, S. Gerhart & M. Larrondo-Petrie: WIFT'95: Workshop on Industrial-Strength Formal Specification Techniques.
IEEE Computer Society Press.
J. D'Azzo & C. Houpis (1995):
Linear Control System Analysis and Design: Conventional and Modern.
McGraw Hill.
J Derrick & E Boiten (2001):
Refinement in Z and Object-Z: Foundations and Advanced Applications.
Springer-Verlag UK,
doi:10.1007/978-1-4471-0257-1.
R. Dorf & R. Bishop (2010):
Modern Control Systems.
Pearson.
B. Dutertre (1996):
Elements of Mathematical Analysis in PVS.
In: TPHOLS 1996,
LNCS 1125.
Springer.
K. Dutton, S. Thompson & B. Barraclough (1997):
The Art of Control Engineering.
Addison Wesley.
M. Fadali & A. Visioli (2009):
Digital Control Engineering: Analysis and Design.
Academic Press.
G. Franklin, J. Powell & M. Workman (1996):
Digital Control Systems.
Prentice Hall.
J. He (1994):
From CSP to hybrid systems.
In: A.W. Roscoe: A Classical Mind, Essays in Honour of C.A.R. Hoare.
Prentice-Hall International,
pp. 171–189.
T. A. Henzinger (1996):
The Theory of Hybrid Automata.
In: Proc. IEEE LICS-96.
IEEE,
pp. 278–292.
See also http://mtc.epfl.ch/ tah/Publications/the_theory_of_hybrid_automata.pdf.
IEEE Standard 1474.
IEEE Standard for Communications-Based Train Control (CBTC) Performance and Functional Requirements: IEEE Std 1474.1-2004; IEEE Standard for User Interface Requirements in Communications-Based Train Control (CBTC) Systems: IEEE Std 1474.2-2003; IEEE Recommended Practice for Communications-Based Train Control (CBTC) System Design and Functional Allocations: IEEE Std 1474.3-2008.
C. Jeske (2005):
Algebraic Integration of Retrenchment and Refinement.
University of Manchester.
B. Kuo (1992):
Digital Control Systems.
Oxford University Press.
A. van Lamsweerde (2009):
Requirements Engineering: From System Goals to UML Models to Software Specifications.
Wiley.
Letier, E. (2001):
Reasoning about Agents in Goal-Oriented Requirements Engineering.
Dépt. Ingénierie Informatique, Université Catholique de Louvain.
K. Ogata (2008):
Modern Control Engineering.
Pearson.
P. Paraskevopoulos (1996):
Digital Control Systems.
Prentice Hall.
B Potter, J Sinclair & D Till (1996):
An Introduction to Formal Specification and Z,
2nd. edition.
Prentice Hall.
W P de Roever & K Engelhardt (1998):
Data Refinement: Model-Oriented Proof Methods and their Comparison.
Cambridge University Press.
E Sekerinski & K Sere (1998):
Program Development by Refinement: Case Studies Using the B-Method.
Springer.
A. Slissenko & P. Vasilyev (2008):
Simulation of Timed Abstract State Machines with Predicate Logic model Checking.
J.U.C.S. 14,
pp. 1984–2006.
E. Sontag (1998):
Mathematical Control Theory.
Springer.
W. Su, F. Yang, X. Wu, J. Gou & H. Zhu (2011):
Formal Approaches to Mode Conversion and Positioning for Vehicle Systems.
In: Proc. 3rd IEEE International Workshop on Security Aspects of Process and Services Engineering.
To appear.
P. Tabuada (2009):
Verification and Control of Hybrid Systems: A Symbolic Approach.
Springer.
J Woodcock & J Davies (1996):
Using Z, Specification, Refinement and Proof.
Prentice Hall.