diff --git a/prism-examples/firewire/abst/expected.pctl b/prism-examples/firewire/abst/expected.pctl
new file mode 100644
index 00000000..de3d9006
--- /dev/null
+++ b/prism-examples/firewire/abst/expected.pctl
@@ -0,0 +1,4 @@
+// maximum expected time
+R{"time"}max=?[F (s=9) ]
+// maximum expected rounds
+R{"rounds"}max=?[F (s=9) ]