diff --git a/prism-examples/csma/README b/prism-examples/csma/README
index ab5c342a..59aaf063 100644
--- a/prism-examples/csma/README
+++ b/prism-examples/csma/README
@@ -7,7 +7,7 @@ where K is the maximum backoff and N is the number of stations
 
 For more information on the probabilistic timed automata see: http://www.prismmodelchecker.org/casestudies/csma.php
 
-The PRISM model uses the integer semantics given in [KNS02b].
+The PRISM model uses the integer semantics given in [KNPS06].
 
 =====================================================================================