Benjamin Aminof, Swen Jacobs, Ayrat Khalimov & Sasha Rubin (2014):
Parameterized Model Checking of Token-Passing Systems.
In: VMCAI,
LNCS 8318.
Springer,
pp. 262–281,
doi:10.1007/978-3-642-54013-4_15.
ARM Ltd. (1999):
AMBA Specification (Rev.2).
Available from www.arm.com.
Tomás Babiak, Mojmír Kretínský, Vojtech Rehák & Jan Strejcek (2012):
LTL to Büchi Automata Translation: Fast and More Deterministic.
In: TACAS,
LNCS 7214.
Springer,
pp. 95–109,
doi:10.1007/978-3-642-28756-5_8.
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan & Richard Seeber (2010):
RATSY - A New Requirements Analysis Tool with Synthesis.
In: CAV,
LNCS 6174.
Springer,
pp. 425–429,
doi:10.1007/978-3-642-14295-6_37.
Roderick Bloem, Swen Jacobs & Ayrat Khalimov (2014):
Parameterized Synthesis Case Study: AMBA AHB (Extended Version).
arXiv:1406.7608.
Available at http://arxiv.org/abs/1406.7608.
Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli & Yaniv Sa'ar (2012):
Synthesis of Reactive(1) designs.
J. Comput. Syst. Sci. 78(3),
pp. 911–938,
doi:10.1016/j.jcss.2011.08.007.
E. Allen Emerson & Kedar S. Namjoshi (2003):
On Reasoning About Rings.
Int. J. Found. Comput. Sci. 14(4),
pp. 527–550,
doi:10.1142/S0129054103001881.
Bernd Finkbeiner & Sven Schewe (2013):
Bounded synthesis.
STTT 15(5-6),
pp. 519–539,
doi:10.1007/s10009-012-0228-z.
Yashdeep Godhal, Krishnendu Chatterjee & Thomas A. Henzinger (2013):
Synthesis of AMBA AHB from formal specification: a case study.
STTT 15(5-6),
pp. 585–601,
doi:10.1007/s10009-011-0207-9.
Swen Jacobs & Roderick Bloem (2014):
Parameterized Synthesis.
Logical Methods in Computer Science 10,
pp. 1–29,
doi:10.2168/LMCS-10(1:12)2014.
Barbara Jobstmann (2007):
Applications and Optimizations for LTL Synthesis.
Graz University of Technology.
Ayrat Khalimov, Swen Jacobs & Roderick Bloem (2013):
PARTY Parameterized Synthesis of Token Rings.
In: CAV,
LNCS 8044.
Springer,
pp. 928–933,
doi:10.1007/978-3-642-39799-8_66.
Ayrat Khalimov, Swen Jacobs & Roderick Bloem (2013):
Towards Efficient Parameterized Synthesis.
In: VMCAI,
LNCS 7737.
Springer,
pp. 108–127,
doi:10.1007/978-3-642-35873-9_9.
Uri Klein & Amir Pnueli (2010):
Revisiting Synthesis of GR(1) Specifications.
In: Haifa Verification Conference,
LNCS 6504.
Springer,
pp. 161–181,
doi:10.1007/978-3-642-19583-9_16.
Leonardo de Moura & Nikolaj Bjørner (2008):
Z3: An Efficient SMT Solver.
In: TACAS,
LNCS 4963.
Springer,
pp. 337–340,
doi:10.1007/978-3-540-78800-3_24.
Amir Pnueli & Roni Rosner (1990):
Distributed Reactive Systems Are Hard to Synthesize.
In: FOCS.
IEEE Computer Society,
pp. 746–757,
doi:10.1109/FSCS.1990.89597.