Simon Andrews Simon Polovina Operational Specification for FCA using Z. 9-16 2008 ICCS Supplement http://ceur-ws.org/Vol-354/p14.pdf conf/iccs/2008s db/conf/iccs/iccss2008.html#AndrewsP08