--- a/prio/Paper/document/root.tex	Wed Feb 01 08:16:00 2012 +0000
+++ b/prio/Paper/document/root.tex	Wed Feb 01 12:00:37 2012 +0000
@@ -45,7 +45,7 @@
 \maketitle
 
 \begin{abstract}
-In realtime systems with support for resource locking and for
+In real-time systems with support for resource locking and for
 processes with priorities, one faces the problem of priority
 inversion. This problem can make the behaviour of processes
 unpredictable and the resulting bugs can be hard to find.  The
@@ -63,7 +63,7 @@
 Paulson's inductive approach to verifying protocols.\medskip
 
 {\bf Keywords:} Priority Inheritance Protocol, formal connectness proof, 
-realtime systems
+real-time systems
 \end{abstract}
 
 \input{session}