@article(Andre-04,
 author       = {Charles Andr{\'{e}}},
 year         = {2004},
 title        = {Computing SyncCharts Reactions},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {88},
 pages        = {3--19},
 doi          = {10.1016/j.entcs.2003.05.007},
)
@incollection(Berry-07,
 author       = {G{\'e}rard Berry},
 year         = {2007},
 title        = {{SCADE}: Synchronous design and validation of embedded control software},
 booktitle    = {Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems},
 publisher    = {Springer},
 pages        = {19--33},
 doi          = {10.1109/5.97300},
)
@article(Berry-92,
 author       = {G{\'{e}}rard Berry and Georges Gonthier},
 year         = {1992},
 title        = {The Esterel Synchronous Programming Language: Design, Semantics, Implementation},
 journal      = {Sci. Comput. Program.},
 volume       = {19},
 pages        = {87--152},
 doi          = {10.1016/0167-6423(92)90005-V},
)
@inproceedings(Colaco-Pagano-Pouzet-17,
 author       = {Cola{\c{c}}o, Jean{-}Louis and Bruno Pagano and Marc Pouzet},
 year         = {2017},
 title        = {{SCADE} 6: {A} formal language for embedded critical software development (invited paper)},
 editor       = {Fr{\'{e}}d{\'{e}}ric Mallet and Min Zhang and Eric Madelaine},
 booktitle    = {Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE'17), Sophia Antipolis, France},
 publisher    = {{IEEE} Computer Society},
 pages        = {1--11},
 doi          = {10.1109/TASE.2017.8285623},
)
@inproceedings(Davies-85,
 author       = {Donald W. Davies},
 year         = {1985},
 title        = {{A Message Authenticator Algorithm Suitable for a Mainframe Computer}},
 editor       = {G. R. Blakley and David Chaum},
 booktitle    = {Advances in Cryptology -- Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques (CRYPTO'84), Santa Barbara, CA, USA},
 series       = {Lecture Notes in Computer Science},
 volume       = {196},
 publisher    = {Springer},
 pages        = {393--400},
 doi          = {10.1007/3-540-39568-7\_ 30},
)
@techreport(Davies-Clayden-88,
 author       = {Donald W. Davies and David O. Clayden},
 year         = {1988},
 title        = {{The Message Authenticator Algorithm (MAA) and its Implementation}},
 type         = {NPL Report DITC},
 number       = {109/88},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@inproceedings(Garavel-Marsso-17,
 author       = {Hubert Garavel and Lina Marsso},
 year         = {2017},
 title        = {{A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm}},
 editor       = {Holger Hermanns and Peter H\"{o}fner},
 booktitle    = {Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), Uppsala, Sweden},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {244},
 pages        = {129--183},
 doi          = {10.4204/EPTCS.244.6},
)
@inproceedings(Garavel-Marsso-18,
 author       = {Hubert Garavel and Lina Marsso},
 year         = {2018},
 title        = {{Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm}},
 editor       = {Holger Hermanns and Peter H\"{o}fner},
 booktitle    = {Proceedings of the 3nd Workshop on Models for Formal Analysis of Real Systems (MARS'18), Thessaloniki, Greece},
 volume       = {268},
 pages        = {41--87},
 doi          = {10.4204/EPTCS.268.2},
)
@article(Halbwachs-Caspi-Raymond-Pilaud-91,
 author       = {Nicolas Halbwachs and Paul Caspi and Pascal Raymond and Daniel Pilaud},
 year         = {1991},
 title        = {{The synchronous dataflow programming language {\sc Lustre}}},
 journal      = {Proceedings of the IEEE},
 volume       = {79},
 number       = {9},
 pages        = {1305--1320},
 doi          = {10.1109/5.97300},
)
@techreport(ISO-8730:1986,
 author       = {ISO},
 year         = {1986},
 title        = {{Requirements for Message Authentication (Wholesale)}},
 type         = {International Standard},
 number       = {8730},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@techreport(ISO-8731-1:1987,
 author       = {ISO},
 year         = {1987},
 title        = {{Approved Algorithms for Message Authentication -- Part 1: Data Encryption Algorithm (DEA)}},
 type         = {International Standard},
 number       = {8731-1},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@techreport(ISO-8730:1990,
 author       = {ISO},
 year         = {1990},
 title        = {{Requirements for Message Authentication (Wholesale)}},
 type         = {International Standard},
 number       = {8730},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@techreport(ISO-8731-2:1992,
 author       = {ISO},
 year         = {1992},
 title        = {{Approved Algorithms for Message Authentication -- Part 2: Message Authenticator Algorithm}},
 type         = {International Standard},
 number       = {8731-2},
 institution  = {International Organization for Standardization -- Banking},
 address      = {Geneva},
)
@article(Jahier-Raymond-Baufreton-06,
 author       = {Erwan Jahier and Pascal Raymond and Philippe Baufreton},
 year         = {2006},
 title        = {{Case studies with Lurette {V2}}},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {8},
 number       = {6},
 pages        = {517--530},
 doi          = {10.1007/s10009-006-0023-9},
)
@techreport(Lai-91,
 author       = {{M. K. F.} Lai},
 year         = {1991},
 title        = {{A Formal Interpretation of the MAA Standard in Z}},
 type         = {NPL Report DITC},
 number       = {184/91},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@book(Menezes-vanOorschot-Vanstone-96,
 author       = {Alfred Menezes and Paul C. van Oorschot and Scott A. Vanstone},
 year         = {1996},
 title        = {{Handbook of Applied Cryptography}},
 publisher    = {CRC Press},
 note         = {Available from \url{http://cacr.uwaterloo.ca/hac}},
)
@techreport(Munster-91-b,
 author       = {Harold B. Munster},
 year         = {1991},
 title        = {{Comments on the LOTOS Standard}},
 type         = {NPL Technical Memorandum DITC},
 number       = {52/91},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@techreport(Munster-91-a,
 author       = {Harold B. Munster},
 year         = {1991},
 title        = {{LOTOS Specification of the MAA Standard, with an Evaluation of LOTOS}},
 type         = {NPL Report DITC},
 number       = {191/91},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
 note         = {Available at \url{ftp://ftp. inrialpes.fr/pub/vasy/publications/others/Munster-91-a.pdf}},
)
@techreport(Parkin-ONeill-90,
 author       = {Graeme I. Parkin and G. O'Neill},
 year         = {1990},
 title        = {{Specification of the MAA Standard in VDM}},
 type         = {NPL Report DITC},
 number       = {160/90},
 institution  = {National Physical Laboratory},
 address      = {Teddington, Middlesex, UK},
)
@inproceedings(Parkin-ONeill-91,
 author       = {Graeme I. Parkin and G. O'Neill},
 year         = {1991},
 title        = {{Specification of the MAA Standard in VDM}},
 editor       = {S{\o}ren Prehn and W. J. Toetenel},
 booktitle    = {Formal Software Development -- Proceedings (Volume 1) of the 4th International Symposium of VDM Europe (VDM'91), Noordwijkerhout, The Netherlands},
 series       = {Lecture Notes in Computer Science},
 volume       = {551},
 publisher    = {Springer},
 pages        = {526--544},
 doi          = {10.1007/3-540-54834-3\_ 31},
)
@incollection(Preneel-11,
 author       = {Bart Preneel},
 year         = {2011},
 title        = {{MAA}},
 editor       = {Henk C. A. van Tilborg and Sushil Jajodia},
 booktitle    = {Encyclopedia of Cryptography and Security (2nd Edition)},
 publisher    = {Springer},
 pages        = {741--742},
 doi          = {10.1007/978-1-4419-5906-5\_ 591},
)
@inproceedings(Preneel-vanOorschot-96,
 author       = {Bart Preneel and Paul C. van Oorschot},
 year         = {1996},
 title        = {{On the Security of Two MAC Algorithms}},
 editor       = {Ueli M. Maurer},
 booktitle    = {Advances in Cryptology -- Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT'96), Saragossa, Spain},
 series       = {Lecture Notes in Computer Science},
 volume       = {1070},
 publisher    = {Springer},
 pages        = {19--32},
 doi          = {10.1007/3-540-68339-9\_ 3},
)
@article(Preneel-vanOorschot-99,
 author       = {Bart Preneel and Paul C. van Oorschot},
 year         = {1999},
 title        = {{On the Security of Iterated Message Authentication Codes}},
 journal      = {{IEEE} Transactions on Information Theory},
 volume       = {45},
 number       = {1},
 pages        = {188--199},
 doi          = {10.1109/18.746787},
)
@article(Preneel-Rumen-vanOorschot-97,
 author       = {Bart Preneel and Vincent Rumen and Paul C. van Oorschot},
 year         = {1997},
 title        = {{Security Analysis of the Message Authenticator Algorithm (MAA)}},
 journal      = {European Transactions on Telecommunications},
 volume       = {8},
 number       = {5},
 pages        = {455--470},
 doi          = {10.1002/ett.4460080504},
)
@article(Raymond-Roux-Jahier-08,
 author       = {Pascal Raymond and Yvan Roux and Erwan Jahier},
 year         = {2008},
 title        = {{Lutin: a language for specifying and executing reactive scenarios}},
 journal      = {EURASIP Journal on Embedded Systems},
 volume       = {2008},
 doi          = {10.1109/MS.2013.43},
)
@inproceedings(Rijmen-Preneel-DeWin-96,
 author       = {Vincent Rijmen and Bart Preneel and {De Win}, Erik},
 year         = {1996},
 title        = {{Key Recovery and Collision Clusters for MAA}},
 booktitle    = {Proceedings of the 1st International Conference on Security in Communication Networks (SCN'96)},
)