@inproceedings(gotmanov11,
 author       = "Alexander Gotmanov and Satrajit Chatterjee and Michael Kishinevsky",
 year         = "2011",
 title        = "Verifying Deadlock-Freedom of Communication Fabrics",
 editor       = "Ranjit Jhala and David A. Schmidt",
 booktitle    = "VMCAI",
 series       = "Lecture Notes in Computer Science",
 volume       = "6538",
 publisher    = "Springer",
 pages        = "214--231",
 url          = "http://dx.doi.org/10.1007/978-3-642-18275-4_16",
)
@inproceedings(mallon98,
 author       = "W.C. Mallon and J.T. Udding",
 year         = "1998",
 title        = "Building finite automata from {D}{I} specifications",
 booktitle    = "Proceedings of the Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.",
 pages        = "184--193",
 doi          = "10.1109/ASYNC.1998.666504",
)
@inproceedings(ouchet10,
 author       = "F. Ouchet and K. Morin-Allory and L. Fesquet",
 year         = "2010",
 title        = "Delay Insensitivity Does Not Mean Slope Insensitivity!",
 booktitle    = "16th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'10)",
 pages        = "176--184",
 doi          = "10.1109/ASYNC.2010.27",
)
@inproceedings(peeters10,
 author       = "A. Peeters and F. te Beest and M. de Wit and W. Mallon",
 year         = "2010",
 title        = "Click elements: An implementation style for data-driven compilation",
 booktitle    = "Proceedings of the IEEE Symposium on Asynchronous Circuits and Systems (ASYNC'10)",
 pages        = "3--14",
 doi          = "10.1109/ASYNC.2010.11",
)
@inproceedings(pnuelli77,
 author       = "Amir Pnueli",
 year         = "1977",
 title        = "The temporal logic of programs",
 booktitle    = "18th Annual Symposium on Foundations of Computer Science",
 pages        = "46--57",
 doi          = "10.1109/SFCS.1977.32",
)
@article(sutherland12,
 author       = "Ivan Sutherland",
 year         = "2012",
 title        = "The tyranny of the clock",
 journal      = "Communications of the ACM",
 volume       = "55",
 number       = "10",
 pages        = "35--36",
 doi          = "10.1145/2347736.2347749",
)
@inproceedings(verbeekschmaltz:fmcad10,
 author       = "F. Verbeek and J. Schmaltz",
 year         = "2011",
 title        = "Hunting deadlocks efficiently in microarchitectural models of communication fabrics",
 booktitle    = "Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD'11)",
 organization = "IEEE",
 pages        = "223--231",
)
@inproceedings(verbeekschmaltz:async13,
 author       = "Freek Verbeek and Julien Schmaltz",
 year         = "2013",
 title        = "Formal Deadlock Verification for Click Circuits",
 booktitle    = "19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'13)",
)
@inproceedings(verhoeff98,
 author       = "T. Verhoeff",
 year         = "1998",
 title        = "Analyzing specifications for delay-insensitive circuits",
 booktitle    = "Proceedings of the Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems",
 pages        = "172--183",
 doi          = "10.1109/ASYNC.1998.666503",
)
@inproceedings(yan11,
 author       = "Chao Yan and F. Ouchet and L. Fesquet and K. Morin-Allory",
 year         = "2011",
 title        = "Formal Verification of {C}-element Circuits",
 booktitle    = "17th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'11)",
 pages        = "55--64",
 doi          = "10.1109/ASYNC.2011.14",
)
@article(zaki08,
 author       = "Mohamed H. Zaki and Sofiène Tahar and Guy Bois",
 year         = "2008",
 title        = "Formal verification of analog and mixed signal designs: A survey",
 journal      = "Microelectronics Journal",
 volume       = "39",
 number       = "12",
 pages        = "1395--1404",
 doi          = "10.1109/IDT.2009.5404084",
)