diff --git a/prism/src/pta/DBMList.java b/prism/src/pta/DBMList.java
index 8082f7ca..48f5dc0c 100644
--- a/prism/src/pta/DBMList.java
+++ b/prism/src/pta/DBMList.java
@@ -130,6 +130,14 @@ public class DBMList extends NCZone
 	{
 		return pta;
 	}
+	
+	/**
+	 * Get DBM
+	 */
+	public DBM getDBM(int i) 
+	{
+		return list.get(i);
+	}
 
 	// Zone operations (modify the zone)