%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Mon Jun 12 07:31:06 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{\$119.99}{% Banach:2019:BRJ% }. \NAMECITE{\$129.00}{% Banach:2019:BRJ% }. \NAMECITE{\$19.99}{% Jones:2017:BRT% }. \NAMECITE{$2$}{% Bonakdarpour:2015:SBT% }. \NAMECITE{$4$}{% Paynter:2004:RMB,% Rashid:2020:FVR% }. \NAMECITE{$ 6 \times 2 $}{% Banach:2019:BRJ% }. \NAMECITE{\$75.00}{% Jones:2017:BRT% }. \NAMECITE{$^{++}$}{% Larsen:2009:POC% }. \NAMECITE{$^3$}{% Vekris:2016:VEE% }. \NAMECITE{$_d$}{% DeWachter:2005:FDD% }. \NAMECITE{$ \chi $}{% Bos:2003:RSE% }. \NAMECITE{$ E B^3 $}{% Vekris:2016:VES% }. \NAMECITE{$ L^* $}{% Tappler:2021:BLM% }. \NAMECITE{$ \mathsf {Z} $}{% Castro:2015:CFS% }. \NAMECITE{$ \mu $}{% Badban:2005:VSW,% Seki:2017:DPC,% Shankland:1998:TIP% }. \NAMECITE{$ \nu $}{% Henson:2006:SL% }. \NAMECITE{$ \Omega $}{% Siekmann:1999:LUI% }. \NAMECITE{$P$}{% Balcazar:1992:DBC% }. \NAMECITE{$ \phi $}{% Harel:2010:APG% }. \NAMECITE{$ \pi $}{% Deng:2012:CTP,% Devillers:2008:CPN% }. \NAMECITE{$ \psi $}{% Harel:2010:APG% }. \NAMECITE{$ \times $}{% Jones:2017:BRT% }. \NAMECITE{{*}}{% Amram:2021:GGS% }. \NAMECITE{{}-based}{% Tappler:2021:BLM% }. \NAMECITE{-calculus}{% Deng:2012:CTP,% Devillers:2008:CPN,% Seki:2017:DPC% }. \NAMECITE{{}-complete}{% Balcazar:1992:DBC% }. \NAMECITE{-{DOF}}{% Rashid:2020:FVR% }. \NAMECITE{-phase}{% Bonakdarpour:2015:SBT% }. \NAMECITE{-slot}{% Paynter:2004:RMB% }. \NAMECITE{{//doi.org/10.1007/978}}{% Bowen:2018:BRE% }. \NAMECITE{{//doi.org/10.1007/978-3-662-56641-1}}{% Bowen:2018:BRE% }. \NAMECITE{{//www.concrete}}{% Hallerstede:2018:BRT% }. \NAMECITE{{//www.concrete-semantics.org/}}{% Hallerstede:2018:BRT% }. \NAMECITE{{//www.decision}}{% Monahan:2018:BRD% }. \NAMECITE{{//www.decision-procedures.org/}}{% Monahan:2018:BRD% }. \NAMECITE{'05}{% Boiten:2006:GEE% }. \NAMECITE{{1}}{% Bowen:2018:BRE% }. \NAMECITE{{1394}}{% Shankland:1998:TIP,% Verdejo:2003:SVT% }. \NAMECITE{{2}}{% Subramani:2006:AAS% }. \NAMECITE{{2-MDFAs}}{% Subramani:2006:AAS% }. \NAMECITE{{2007}}{% Bjorner:2008:JWB% }. \NAMECITE{{2009}}{% Bornat:2009:PLC% }. \NAMECITE{{2010}}{% Anonymous:2010:RMJ% }. \NAMECITE{{2016}}{% Aichernig:2018:SST% }. \NAMECITE{{3}}{% Bisgaard:2019:BAS% }. \NAMECITE{3rd}{% Bornat:2009:PLC% }. \NAMECITE{{517}}{% Collinson:2007:EBA% }. \NAMECITE{{5th}}{% Bornat:2009:PLC% }. \NAMECITE{978-0-19-874782-6}{% Jones:2017:BRT% }. \NAMECITE{978-0-19-874783-3}{% Jones:2017:BRT% }. \NAMECITE{978-3-319-10542-0}{% Hallerstede:2018:BRT% }. \NAMECITE{978-3-642-54117-9}{% Banach:2019:BRJ% }. \NAMECITE{978-3-662-50496-3}{% Monahan:2018:BRD% }. \NAMECITE{978-3-662-52444-2}{% Banach:2019:BRJ% }. \NAMECITE{978-3-662-56639-8}{% Bowen:2018:BRE% }. \NAMECITE{978-3-662-56641-1}{% Bowen:2018:BRE,% Bowen:2018:BRE% }. \NAMECITE{{Abadi}}{% Engelhardt:1995:TPA% }. \NAMECITE{abortive}{% Deutsch:2006:ARA% }. \NAMECITE{abridged}{% Martin:1996:TCA% }. \NAMECITE{Abstract}{% Diehl:2000:NSD,% Gabbay:2002:NAA,% Hesselink:1999:VID,% Kondoh:2003:ADT,% Nys:2017:ACP,% Albert:2015:QAC,% Beierle:1996:SCP,% Breu:1996:ASF,% Comini:2017:PAF,% Fiadeiro:2011:AMS,% Gallardo:2004:GSP,% Smith:1995:FAS% }. \NAMECITE{Abstraction}{% Ochsenschlager:1998:SVT,% Schneider:2000:ATC,% Sotudeh:2015:AAF,% Wehrheim:2000:DAT,% Bruni:2018:COA,% Gordon:2005:VWS,% Jones:2011:ECA,% Kirwan:2016:MCL,% Kroening:2010:VFP% }. \NAMECITE{Abstraction-Based}{% Ochsenschlager:1998:SVT% }. \NAMECITE{Abstractions}{% Hoang:2014:ANI,% Dimovski:2019:FSV,% Hennicker:1991:CIP,% Pironti:2014:SAD% }. \NAMECITE{{AC}}{% Delzanno:2008:RAF% }. \NAMECITE{accelerated}{% Mizera:2019:GAS% }. \NAMECITE{Accelerating}{% Al-Bataineh:2015:AWC% }. \NAMECITE{access}{% Ciobanu:2015:SBS,% Collinson:2010:ALA,% Collinson:2010:EAL,% Nienaltowski:2009:FAC% }. \NAMECITE{Accessing}{% Houston:1994:SDC% }. \NAMECITE{{ACL2}}{% Moore:2019:MPL% }. \NAMECITE{across}{% Banach:2014:CKA% }. \NAMECITE{Action}{% Back:2003:CAS,% Butler:1995:ASU,% Fecher:2006:ARA,% Leifer:2002:SLA,% Lynch:1996:ATT,% Baeten:1994:SCA,% Fidge:1997:ABF,% Hallerstede:2004:PAP,% Lopes:2004:SCV,% Smith:2009:MCA% }. \NAMECITE{action-based}{% Fidge:1997:ABF,% Lopes:2004:SCV% }. \NAMECITE{actions}{% Banach:2010:AAT,% Massart:1993:EAE% }. \NAMECITE{Active}{% Cassel:2016:ALE,% Din:2015:CRA% }. \NAMECITE{Activity}{% Flammini:2021:CMR,% Paynter:2000:AAD% }. \NAMECITE{Actors}{% Janneck:2003:ATC% }. \NAMECITE{ad}{% Castagna:1996:IPA,% Merro:2013:CTA,% Yousefi:2017:MEV% }. \NAMECITE{{Ada}}{% Bucci:1993:EIS,% Cavalcanti:2011:CLD% }. \NAMECITE{adaptation}{% Castellani:2016:SAS,% DiGiusto:2016:EBR% }. \NAMECITE{Adaptive}{% Bernardo:1998:FPM,% El-Fakih:2018:ADT,% Filieri:2012:FAA% }. \NAMECITE{adaptivity}{% Arcaini:2016:ABF% }. \NAMECITE{adequate}{% Bloom:1994:WPT% }. \NAMECITE{{ADL}}{% Paynter:2000:AAD% }. \NAMECITE{Adopted}{% Dijkstra:2002:ENC% }. \NAMECITE{Advanced}{% Jifeng:2003:AFD,% Michaelson:2019:BRB% }. \NAMECITE{Advances}{% Rydeheard:2002:CPM% }. \NAMECITE{again}{% Carmo:1990:BVL% }. \NAMECITE{against}{% Bruni:2018:COA,% Hierons:2008:TDI% }. \NAMECITE{agent}{% Cavarra:2011:DFA,% Kirwan:2016:MCL,% Massart:1993:EAE,% McIver:2011:CRA% }. \NAMECITE{agent-based}{% McIver:2011:CRA% }. \NAMECITE{agents}{% Li:2017:RAA,% Stolen:1996:SRN% }. \NAMECITE{aid}{% Billington:1996:CIG,% Williams:2020:LDD% }. \NAMECITE{Alexander}{% Bowen:2018:BRE% }. \NAMECITE{Algebra}{% Bergstra:2000:PAC,% Collinson:2010:ALA,% Robinson:2002:VAM,% Tofts:2000:SAP,% Aransay:2010:GCC,% Baeten:1991:RTP,% Baeten:1993:RSP,% Baeten:1996:DTP,% Bergstra:2007:TAS,% Bergstra:2011:TAP,% Bientinesi:2013:DDL,% Cattani:2005:RBP,% Gabbay:2008:CAS,% Gleirscher:2021:RDA,% Groote:1994:PAG,% Hayes:2019:SPA,% Hoare:2012:PA,% Macedo:2015:LAA,% Meinicke:2010:RAP,% Oliveira:2012:TLA,% Collinson:2010:EAL,% Josephs:1997:USA% }. \NAMECITE{Algebraic}{% Fox:2000:AMC,% Gaudel:1998:TAD,% Glesner:2006:FIC,% vonMohrenschildt:2000:ACF,% Armstrong:2016:BPC,% Back:2005:ATP,% Bezem:1997:FPA,% Boronat:2010:ASM,% Breu:1996:ASF,% Duran:2010:AAD,% Groote:2005:CCA,% Hayes:2016:GRG,% Hennicker:1991:CIP,% Laneve:2015:ATW,% Lynch:1995:CST,% Orava:1992:AVM,% Pomello:1992:ACE,% Rebiha:2015:GIN,% Sannella:1997:ECA,% Sherif:2010:PAF,% Su:2009:PAM,% Zhu:2015:DSA% }. \NAMECITE{algebras}{% Brink:1994:PA,% Hennessy:1996:PSM,% Hesselink:1990:CAR,% Meseguer:2017:EFP,% Owe:1991:GIO% }. \NAMECITE{Algorithm}{% Chen:2020:FCP,% Hesselink:1999:VID,% Dutle:2021:FAC,% Groote:2005:CCA,% Groves:2009:TBD,% Hesselink:1997:MPS,% Kiefer:2012:TTH,% Kwiatkowska:2012:PVH,% Mizuno:1992:SFC,% Partsch:1990:FPM,% Subramani:2006:AAS,% Hesselink:2016:CCC% }. \NAMECITE{Algorithms}{% Stomp:1994:PSR,% Barsotti:2007:VCS,% Bornat:2013:ETN,% Codish:2017:OSA,% Jones:2011:ECA,% Kindler:1997:PNB,% Labbe:2008:SCA,% Nazarpour:2017:CPS,% Subramani:2013:IAO,% Swaminathan:2012:LRR,% Walker:1989:AAM,% Ward:2014:PCD% }. \NAMECITE{allow}{% Bao:2018:USL% }. \NAMECITE{{Alloy}}{% Ramananandro:2008:MEP,% Zave:2015:PCA% }. \NAMECITE{Almost}{% DeWulf:2005:AAS,% Nipkow:1998:WAR% }. \NAMECITE{Alphabet}{% Korver:1998:EVU,% Korver:1998:FAA% }. \NAMECITE{alternating}{% Slanina:2008:DVA% }. \NAMECITE{Alternative}{% Santos:2018:ASM,% Brooke:2009:CAM% }. \NAMECITE{Alternatives}{% Duke:1999:CSS% }. \NAMECITE{alway}{% Dijkstra:1997:PTP% }. \NAMECITE{{Ambient}}{% Pasqualin:2015:TCA% }. \NAMECITE{ambients}{% Delzanno:2008:RAF% }. \NAMECITE{amendment}{% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{{Am{\'\i}lcar}}{% Anonymous:2017:OAL% }. \NAMECITE{{Amir}}{% Harel:2010:APG% }. \NAMECITE{{AMS}}{% Carr:2004:IUV% }. \NAMECITE{analogue}{% Carr:2004:IUV% }. \NAMECITE{Analogy}{% Whittle:2002:PPF,% Vadera:1995:PAM% }. \NAMECITE{Analogy-Based}{% Whittle:2002:PPF% }. \NAMECITE{Analyse}{% Calder:2003:USA% }. \NAMECITE{Analyses}{% Goguen:1999:SSA% }. \NAMECITE{Analysing}{% Barnat:2016:ASR,% Basile:2021:AAT,% Bowman:1999:ACB,% Su:2014:ANM,% Chapman:1990:DAI% }. \NAMECITE{Analysis}{% Duke:1999:CSS,% Jackson:1999:NAM,% Lindsay:2012:CSA,% Minamide:1994:SAB,% Vaandrager:2006:ABM,% Ahmad:2020:FRF,% Al-Bataineh:2015:AWC,% Antonino:2019:EVC,% Bertolotti:2008:ERA,% Bhattacharyya:2017:ECF,% Bjorner:2017:MDA,% Borger:2007:CAG,% Bozzano:2019:FRA,% Bruns:1994:FAC,% Charlton:2007:PVI,% Comini:2017:PAF,% Delzanno:2008:RAF,% Deutsch:2006:ARA,% Dijkstra:1995:DSF,% Dimovski:2019:FSV,% Dutle:2021:FAC,% Elleuch:2015:FPA,% Gurgens:2005:SAE,% Hallerstede:2004:PAP,% Hillston:2007:FTP,% Kirchner:2015:FCS,% Lanotte:2007:PPT,% Liu:2019:RAT,% Lopez:2004:IFP,% Massink:2012:SCD,% Moha:2010:DAS,% Nebut:2004:SAS,% Nys:2017:ACP,% Rossi:2021:MAC,% Ruksenas:2014:CHE,% Shi:2018:FAK,% Siddique:2016:FAG,% Vilkomir:2006:MDR,% Walker:1989:AAM,% Wang:2011:SPA,% deLara:2010:ATB,% vanderAalst:2011:SWN% }. \NAMECITE{analyzing}{% Polyvyanyy:2015:UNA% }. \NAMECITE{Ancient}{% Barendregt:2002:ATM% }. \NAMECITE{{Andr{\'e}}}{% Knapp:2020:BRA% }. \NAMECITE{{Android}}{% Bagheri:2018:FAD% }. \NAMECITE{Angelic}{% Cavalcanti:2006:ANU% }. \NAMECITE{Angle}{% Wu:2021:SVS% }. \NAMECITE{annotated}{% Chaudhari:2017:APT% }. \NAMECITE{anonymity}{% Li:2015:FPA,% Moran:2014:VAV% }. \NAMECITE{{Apple}}{% Burton:1989:SAM% }. \NAMECITE{applicability}{% Williams:1993:ADP% }. \NAMECITE{Application}{% Duke:1999:FCA,% Banach:2014:CKA,% Biondi:2019:HSE,% Lee:2004:BTS,% Mammar:2015:PBV,% Moszkowski:2017:ATP,% Struber:2018:VBM% }. \NAMECITE{Applications}{% Boudriga:1992:LSA,% Gottliebsen:2013:ARN,% Jifeng:2003:AFD,% Baresi:2020:UFV,% Brogi:2019:ECM,% Cook:2005:DAH,% Cordy:2021:SMC,% Graiet:2017:VDA,% Mota:2015:MCC,% Pasqualin:2015:TCA,% Bowen:2020:BRG% }. \NAMECITE{applicative}{% Perna:2013:MCR% }. \NAMECITE{Applied}{% Fecher:2006:ARA,% Stoelinga:2003:FFC% }. \NAMECITE{Approach}{% Anderson:1998:DPA,% Butler:2000:CPA,% Dupuy:2000:MFA,% Gabbay:2002:NAA,% Mahony:2002:DSL,% Back:2009:IBP,% Bagheri:2018:FAD,% Baier:1997:CBI,% BohorquezV:2010:EUA,% Braghin:2011:MCB,% Cavarra:2011:DFA,% Curzon:2007:AFV,% Duran:2010:AAD,% Dybjer:1989:FPA,% Engelhardt:1995:TPA,% Filieri:2012:FAA,% Graiet:2017:VDA,% Hallal:2006:FAP,% Haxthausen:2011:FAC,% Ipate:2016:UIC,% Lahouij:2020:EBB,% Li:2013:IAS,% Li:2018:ETS,% Macedo:2015:LAA,% Meyer:2008:MCD,% Owe:1993:PLR,% Polyvyanyy:2015:UNA,% Simons:1996:ALS,% Tan:2021:AAE,% Tran:2021:VPD,% Wahl:2010:LAS,% Xie:2018:UAR% }. \NAMECITE{Approaches}{% Sheng:2020:TPA,% Tofts:2000:SAP,% Jones:2015:BEF,% Mammar:2015:PBV,% Michaelson:2019:BRB% }. \NAMECITE{Approximation}{% Lermer:2003:LAE,% Sotudeh:2015:AAF,% Subramani:2006:AAS% }. \NAMECITE{approximations}{% Antonino:2019:EVC% }. \NAMECITE{{ArcAngel}}{% Oliveira:2003:ATL% }. \NAMECITE{Architectural}{% Bidoit:2002:ASC,% Krishnan:1996:AC,% vanderMeyden:2012:ARN,% Marmsoler:2019:IVA% }. \NAMECITE{Architecture}{% Bertot:1999:CSD,% Duke:1999:FCA,% Attie:2016:GFA,% Basin:2007:VSA,% Risi:2012:UFF% }. \NAMECITE{architectures}{% Bagheri:2016:MDS,% Bozzano:2019:FRA,% Wright:2011:UEB% }. \NAMECITE{{Argos}}{% Tini:2004:TCC% }. \NAMECITE{arithmetic}{% Slind:2007:PPS% }. \NAMECITE{array}{% Wray:1994:CTD% }. \NAMECITE{{ASAP}}{% DeWulf:2005:AAS% }. \NAMECITE{{ASM}}{% Arcaini:2016:ABF,% Banach:2014:CKA,% Borger:2003:ARM% }. \NAMECITE{{ASM}-based}{% Arcaini:2016:ABF% }. \NAMECITE{{ASMs}}{% Cavarra:2011:DFA% }. \NAMECITE{Aspects}{% Collinson:2007:EBA,% Santiago:2006:FAC,% Notarmarco:1991:FAC% }. \NAMECITE{Assembling}{% Haigh:2019:APF% }. \NAMECITE{Assertion}{% Barros:2012:ABS,% Naumann:2007:ABE% }. \NAMECITE{Assertion-based}{% Barros:2012:ABS,% Naumann:2007:ABE% }. \NAMECITE{assertional}{% Hesselink:2004:APC,% Partsch:1990:FPM% }. \NAMECITE{assertions}{% Apt:1994:RAP% }. \NAMECITE{Assessment}{% Bozzano:2021:MBS% }. \NAMECITE{assignment}{% Wray:1994:CTD% }. \NAMECITE{assignments}{% Hennessy:1993:CPV% }. \NAMECITE{assistant}{% Schreiner:2009:RPP% }. \NAMECITE{Assisted}{% Anonymous:2017:MJC% }. \NAMECITE{associations}{% Rosaci:2015:FSA% }. \NAMECITE{associative}{% Hedberg:1991:NAL% }. \NAMECITE{Assume}{% Chatterjee:2014:AGS,% Elkader:2018:ACA% }. \NAMECITE{Assume-guarantee}{% Chatterjee:2014:AGS,% Elkader:2018:ACA% }. \NAMECITE{Assumption}{% Chaudhari:2017:APT,% Costa:1995:PAC,% Stolen:1996:SRN% }. \NAMECITE{assumption/commitment}{% Stolen:1996:SRN% }. \NAMECITE{assumptions}{% Francez:1992:ECF% }. \NAMECITE{Assurance}{% Foster:2021:IFP,% Filieri:2012:FAA% }. \NAMECITE{Assuring}{% Jorges:2011:APC% }. \NAMECITE{{ASTDs}}{% Frappier:2014:RPA% }. \NAMECITE{Asynchronous}{% Kobayashi:1995:ACM,% Pitt:1999:OAP,% deGroote:1998:NKY,% Chevrou:2016:DAC,% Corrodi:2018:SCW,% Lopez:2004:IFP,% Moore:1994:FMA% }. \NAMECITE{asynchronously}{% Stolen:1996:SRN% }. \NAMECITE{ATM}{% Denvir:2000:CPA,% Vassiliou-Gioles:1998:CSP% }. \NAMECITE{Atomic}{% Banach:2010:AAT,% Hesselink:2004:APC,% Liu:2019:RAT% }. \NAMECITE{Atomicity}{% Banach:2013:AFR,% Anderson:1992:CA% }. \NAMECITE{atomized}{% Knijnenburg:1997:SCA% }. \NAMECITE{attacker}{% Bertolotti:2008:ERA% }. \NAMECITE{attacks}{% Bruni:2018:COA% }. \NAMECITE{attentional}{% Su:2009:PAM% }. \NAMECITE{attribute}{% Chapman:1990:DAI% }. \NAMECITE{Audio}{% Bernardo:1998:FPM% }. \NAMECITE{augmented}{% Yang:2021:EAI% }. \NAMECITE{August}{% Anonymous:2017:MJC% }. \NAMECITE{authorization}{% Ghilezan:2016:DRA% }. \NAMECITE{authors}{% Notarmarco:1991:FAC% }. \NAMECITE{{AUTOFOCUS}}{% Slotosch:2000:MVA% }. \NAMECITE{Automata}{% Badouel:2002:DFA,% Cardell-Oliver:2000:CTR,% Sistla:1999:PVL,% Al-Bataineh:2015:AWC,% Bacci:2021:ORC,% Cattani:2005:RBP,% Derrick:2014:RCR,% Fioriti:2016:DPA,% Gomez:2013:MCT,% Hatefi:2017:CVT,% Hesselink:2021:UBA,% Labbe:2008:SCA,% Lang:2010:TFL,% Lynch:1996:ATT,% Stannett:2006:STA,% Su:2014:ANM,% Taha:2015:CAB,% Tsay:2009:TSL,% Wissmann:2021:GPR% }. \NAMECITE{automata-based}{% Taha:2015:CAB% }. \NAMECITE{Automated}{% Brown:2011:AVR,% Elkader:2018:ACA,% Gordon:2003:VPS,% Leuschel:2011:APV,% Ta:2019:AMI,% Walker:1989:AAM,% Wildman:2003:VVA,% Junges:2017:FTD,% Llano:2014:DIT% }. \NAMECITE{Automatic}{% Abdulla:1992:AVC,% Abed:2013:AVR,% Bowman:1998:AVL,% Dissoubray:2000:DAT,% Latella:1999:AVB,% Smans:2010:AVJ,% Santos:2018:ASM,% Ying:2019:TAV% }. \NAMECITE{Automating}{% Lin:2019:AEB,% deLara:2010:ATB% }. \NAMECITE{Automatizing}{% Inverardi:1994:APR% }. \NAMECITE{automotive}{% Botaschanjan:2008:CUL% }. \NAMECITE{autonomous}{% Basile:2021:AAT,% Fraser:2020:CMA,% Li:2017:RAA,% Yang:2021:EAI% }. \NAMECITE{Auxiliary}{% Kleymann:1999:HLA% }. \NAMECITE{avionics}{% Barnat:2016:ASR% }. \NAMECITE{avoiding}{% Gabbay:2008:CAS% }. \NAMECITE{aware}{% Bisgaard:2019:BAS,% Gleirscher:2021:RDA% }. \NAMECITE{awareness}{% Pasqualin:2015:TCA% }. \NAMECITE{axiom}{% Sanders:1991:ESA% }. \NAMECITE{Axiomatic}{% Owe:1992:ATP,% Ma:2015:VDS,% Tan:2021:AAE% }. \NAMECITE{Axiomatisation}{% Stewart:2004:BSA% }. \NAMECITE{Axiomatization}{% Korver:1998:FAA% }. \NAMECITE{Axioms}{% Hesselink:1990:AML,% Korver:1998:EVU% }. \NAMECITE{{B}}{% Banach:2011:REB,% Bostrom:2014:DCP,% Butler:2000:CPA,% Butler:2008:IDM,% Butler:2012:EIC,% Dobrikov:2016:OPM,% Evans:2007:ITS,% Fathabadi:2015:LTS,% Hallerstede:2011:PEB,% Hallerstede:2012:EPV,% Hoang:2016:FUL,% Julliand:2011:GTB,% Kobayashi:2019:CPR,% Lahouij:2020:EBB,% Leuschel:2011:APV,% Lin:2019:AEB,% Schneider:2005:CTC,% Schneider:2014:BSE,% Tarasyuk:2015:ISR,% Williams:2020:LDD,% Wright:2011:UEB% }. \NAMECITE{Backus}{% Bjorner:2008:JWB% }. \NAMECITE{backwards}{% Ross:1997:RPB% }. \NAMECITE{Bakery}{% Hesselink:2016:CCC% }. \NAMECITE{Balancing}{% Jones:2015:BEF% }. \NAMECITE{Barrier}{% Stewart:2004:BSA,% Zhao:2021:LSN% }. \NAMECITE{Based}{% Grosu:2001:SBS,% Henson:2003:LSB,% Minamide:1994:SAB,% Ochsenschlager:1998:SVT,% Whittle:2002:PPF,% deGroote:1998:NKY,% Ahmad:2020:FRF,% Antonino:2019:EVC,% Arcaini:2016:ABF,% Back:2009:IBP,% Banerjee:2017:DBR,% Barros:2012:ABS,% Baumann:1991:TSB,% Boiten:2006:GEE,% Borger:2007:CAG,% Bozzano:2021:MBS,% Braghin:2011:MCB,% Brebner:1993:CBI,% Brucker:2013:TPB,% Cattani:2005:RBP,% Ceska:2007:GMP,% Chen:2020:FCP,% Chrszon:2018:PFO,% Ciobanu:2015:SBS,% Colvin:2014:OSO,% Comini:2017:PAF,% Cruz-Filipe:2014:SBS,% Derrick:2011:ZTB,% DiGiusto:2016:EBR,% Dixit:2014:TBC,% Dongol:2008:SPB,% Ehrig:2010:CIM,% Fidge:1997:ABF,% Gerhold:2018:MBT,% Graiet:2017:VDA,% Groves:2009:TBD,% Hayes:2019:SPA,% Hennicker:2021:HDL,% Huang:2017:CMB,% Jones:2019:ILR,% Khakpour:2016:SSB,% Kim:2009:FDD,% Kindler:1997:PNB,% Kobayashi:1995:ACM,% Lahouij:2020:EBB,% Lopes:2004:SCV,% Lowe:2008:SCP,% Mammar:2015:PBV,% McIver:2011:CRA,% McKeever:2006:PCH,% Misra:2012:SVS,% Miyazawa:2014:RBV,% Mooij:2010:IBR,% Naumann:2007:ABE,% Nazarpour:2017:CPS,% Noel:1995:TBS,% Nogueira:2014:TGS,% Oliveira:2016:RDC,% Pettorossi:2012:CBC,% Pitt:1994:RSU,% Rabanal:2013:TRS,% Reynolds:2011:TBD,% Russinoff:1992:VSC,% Schneider:2018:MBP,% Sheng:2020:TPA,% Sinclair:1995:ERS,% Stankaitis:2021:RBD,% Stoddart:1993:TIS,% Stoddart:2013:UPC,% Struber:2018:VBM,% Taha:2015:CAB,% Tappler:2021:BLM,% Valmari:1995:CFB,% Wiik:2016:CBV,% Zeyda:2015:LMB,% deLara:2010:ATB% }. \NAMECITE{basic}{% Back:2009:IBP,% Weber:1993:DBP,% Valmari:1995:CFB% }. \NAMECITE{basis}{% Fokker:1992:SCO,% Hayes:2019:SPA% }. \NAMECITE{Battery}{% Bisgaard:2019:BAS% }. \NAMECITE{Battery-aware}{% Bisgaard:2019:BAS% }. \NAMECITE{be}{% MacQueen:2002:SMO% }. \NAMECITE{before}{% Lechenet:2018:CBB% }. \NAMECITE{Behavior}{% Lindsay:2012:CSA,% Poch:2013:TBP% }. \NAMECITE{behavioral}{% Khakpour:2016:SSB,% Lee:2004:BTS,% Polyvyanyy:2016:EPB% }. \NAMECITE{Behaviour}{% Bowman:1999:ACB,% Al-Bataineh:2015:AWC,% Alagar:1991:FSP,% Alrajeh:2010:DNZ,% Basuki:2009:MCU,% Best:1990:POB% }. \NAMECITE{Behavioural}{% Latella:1999:AVB,% Hennicker:1991:CIP,% Schneider:2014:BSE,% dePutter:2018:FVT% }. \NAMECITE{behaviours}{% Miguel:1993:LEP% }. \NAMECITE{beliefs}{% Li:2017:RAA% }. \NAMECITE{Berlin}{% Banach:2019:BRJ% }. \NAMECITE{{Bernhard}}{% Michaelson:2019:BRB% }. \NAMECITE{between}{% Baier:1997:CBI,% Binkley:2006:FRB,% Gunicen:2014:RBP,% Stannett:1994:ICS% }. \NAMECITE{Beyond}{% Ostroff:2009:BCC,% Nipkow:1989:TRB% }. \NAMECITE{bigraphs}{% Calder:2014:MIC,% Damgaard:2013:ICM% }. \NAMECITE{{BigrTiMo}}{% Xie:2021:PCB% }. \NAMECITE{Binding}{% Gabbay:2002:NAA,% Damgaard:2013:ICM,% Fiadeiro:2011:AMS% }. \NAMECITE{biphase}{% Moore:1994:FMA,% Vaandrager:2006:ABM% }. \NAMECITE{{Bird}}{% Gorlatch:1995:PDC% }. \NAMECITE{{Birkhoff}}{% Gaina:2017:BSC% }. \NAMECITE{bisimilarity}{% Balcazar:1992:DBC% }. \NAMECITE{Bisimulation}{% Pous:2019:BCE,% Banerjee:2017:DBR,% Cleaveland:1993:TEB,% Fioriti:2016:DPA,% Ponse:1996:CPB,% Vu:2007:DOB% }. \NAMECITE{Bisimulations}{% Barbuti:2008:BCM,% Boulgakov:2016:CMW,% Hennessy:2012:EPB% }. \NAMECITE{bit}{% Paynter:2004:RMB% }. \NAMECITE{black}{% Yang:2011:IGB,% Hesselink:2016:CCC% }. \NAMECITE{black-box}{% Yang:2011:IGB% }. \NAMECITE{Blaming}{% Filipovic:2010:BCD% }. \NAMECITE{blending}{% Hillston:2007:FTP% }. \NAMECITE{blocking}{% Bornat:2013:ETN,% Duke:1996:BMR% }. \NAMECITE{blocks}{% Ah-kee:1990:POB% }. \NAMECITE{Bloem}{% Konnov:2019:BRE% }. \NAMECITE{bodies}{% Billington:1996:CIG% }. \NAMECITE{Book}{% Anonymous:1998:BR,% Atkinson:1992:BR,% Atkinson:1994:BR,% Banach:2019:BRJ,% Bowen:1996:BR,% Bowen:2018:BRE,% Bowen:2020:BRG,% Brock:1995:BR,% Cooke:1989:BR,% Davie:1993:BR,% Denvir:1990:BR,% Hallerstede:2018:BRT,% Henglein:1992:BR,% Horning:1994:BR,% Hussmann:1992:BR,% Jones:2017:BRT,% Kirkwood:1996:BR,% Knapp:2020:BRA,% Konnov:2019:BRE,% Lins:1993:BR,% Matthews:1996:BR,% Michaelson:2019:BRB,% Mitchell:1995:BR,% Monahan:1989:BR,% Monahan:2018:BRD,% Mukherjee:1995:BR,% Murphy:1991:BR,% Parke:1989:BR,% Pitt:1991:BR,% Roy:1993:BR,% Walsh:1995:BR,% vonWright:1995:BR% }. \NAMECITE{{Boolean}}{% Antoy:2017:TBE,% Mizera:2019:GAS% }. \NAMECITE{{B{\"o}rger}}{% Bowen:2018:BRE% }. \NAMECITE{bounded}{% Bonakdarpour:2015:SBT,% Holzmann:2011:MCB,% Schrammel:2017:IBM% }. \NAMECITE{bounded-time}{% Bonakdarpour:2015:SBT% }. \NAMECITE{bounds}{% Jourdan:2010:LBL% }. \NAMECITE{Bowen}{% Jones:2017:BRT% }. \NAMECITE{box}{% Yang:2011:IGB% }. \NAMECITE{{Boyer}}{% Russinoff:1992:VSC,% Weber-Wulff:1993:PMP% }. \NAMECITE{branches}{% Lechenet:2018:CBB% }. \NAMECITE{Branching}{% Carmo:1990:BVL% }. \NAMECITE{Broad}{% Popplestone:2002:PBS% }. \NAMECITE{Broad-Spectrum}{% Popplestone:2002:PBS% }. \NAMECITE{Broadcast}{% Kruger:2004:BM% }. \NAMECITE{{BSP}}{% Stewart:2011:PMB% }. \NAMECITE{{B{\"u}chi}}{% Hesselink:2021:UBA,% Tsay:2009:TSL% }. \NAMECITE{budgeting}{% Dixit:2014:TBC% }. \NAMECITE{buffer}{% Kay:1992:SPB% }. \NAMECITE{buffers}{% Bornat:2010:IPB% }. \NAMECITE{bug}{% Cordy:2021:SMC% }. \NAMECITE{bugs}{% Lechenet:2018:CBB% }. \NAMECITE{build}{% Joshi:2007:MCB% }. \NAMECITE{Building}{% Armstrong:2016:BPC,% Sitaraman:2011:BPB,% Stannett:1990:XMH,% Bird:2012:BCS% }. \NAMECITE{Burstall}{% Kerse:2002:ORB,% Landin:2002:RBP,% Rydeheard:2002:CPM% }. \NAMECITE{Bus}{% Calder:2003:USA% }. \NAMECITE{business}{% Masalagiu:2009:RMS,% vanderAalst:2010:PCD% }. \NAMECITE{button}{% Sitaraman:2011:BPB% }. \NAMECITE{bytecode}{% Kammuller:2008:FNI% }. \NAMECITE{C}{% Anonymous:2017:MJC,% Butterfield:2011:DSH,% Kirchner:2015:FCS,% Kirwan:2016:MCL% }. \NAMECITE{CA}{% Calder:2014:MIC% }. \NAMECITE{Cache}{% Felty:1999:CCS% }. \NAMECITE{{CADP}}{% Jebali:2016:FMV,% Vekris:2016:VEE,% Vekris:2016:VES% }. \NAMECITE{{CafeOBJ}}{% Riesco:2017:MEC% }. \NAMECITE{Calculate}{% Fokkinga:1992:CC% }. \NAMECITE{calculational}{% Back:1997:SCP% }. \NAMECITE{Calculator}{% Bornat:1999:MGU% }. \NAMECITE{calculi}{% Barbuti:2008:BCM,% Gaina:2017:BSC% }. \NAMECITE{Calculus}{% Aichernig:2003:MTR,% Cavalcanti:1998:ZRC,% Dingel:2002:RCS,% Franzle:2004:MCD,% Hung:1999:PDC,% Jifeng:2003:AFD,% Loreti:2021:SPL,% Mahony:1999:LCR,% Meyer:2008:MCD,% Nesi:1999:FVP,% Pym:2006:CLR,% Bezem:1997:FPA,% Bonsangue:1994:WPC,% Castagna:1996:IPA,% Cruz-Filipe:2014:SBS,% Deng:2012:CTP,% Devillers:2008:CPN,% Hansen:1994:MCD,% Hansen:1997:DCL,% Holmstrom:1989:RCS,% John:2013:CVC,% Jonsson:2012:URC,% King:1995:ERC,% Lermer:2006:PCR,% Liu:2004:UPM,% Martin:1996:TCA,% Merro:2013:CTA,% Oliveira:1990:RCM,% Paige:2004:EOO,% Parent-Vigouroux:1997:VPC,% Quemada:1993:TTC,% Seki:2017:DPC,% Seldin:1992:CCC,% Weber:1993:DBP,% Xie:2021:PCB,% Pasqualin:2015:TCA% }. \NAMECITE{call}{% Naumann:1995:DRC,% Zhuo:2020:TEP% }. \NAMECITE{callbacks}{% Tenzer:2006:MRC% }. \NAMECITE{calls}{% Tenzer:2006:MRC% }. \NAMECITE{{Cameo}}{% Brooke:2009:CAM% }. \NAMECITE{Camera}{% Chen:2020:FCP% }. \NAMECITE{Can}{% Kondoh:2003:ADT% }. \NAMECITE{{CaPiTo}}{% Gao:2011:CPS% }. \NAMECITE{Capture}{% Gabbay:2008:CAS,% Su:2009:PAM% }. \NAMECITE{Capture-avoiding}{% Gabbay:2008:CAS% }. \NAMECITE{carrying}{% Jacobs:2007:CCT% }. \NAMECITE{Cars}{% Wu:2021:SVS% }. \NAMECITE{Case}{% Arias:2001:SMF,% Boralv:1998:CSF,% Browne:2000:CPS,% Duke:1999:CSS,% Maharaj:2003:ITI,% Vassiliou-Gioles:1998:CSP,% Al-Bataineh:2015:AWC,% Aransay:2010:GCC,% Archibald:2021:TTG,% Basin:2007:VSA,% Bisgaard:2019:BAS,% El-Fakih:2018:ADT,% Hayes:1992:VZC,% Krogdahl:1997:VDL,% Nogueira:2014:TGS,% Pedersen:2018:SCV,% Ruksenas:2014:CHE,% Schneider:2006:TMP,% Sinnig:2011:POS,% Spivey:1995:UCS% }. \NAMECITE{case-study}{% Spivey:1995:UCS% }. \NAMECITE{Cases}{% Foster:2021:IFP,% El-Fakih:2018:ADT% }. \NAMECITE{Cash}{% Aaltonen:2000:SCP,% Browne:2000:CPS,% Denvir:2000:CPA,% Dierks:2000:MVC,% Kotkas:2000:CPS,% Larsen:2000:UVM% }. \NAMECITE{Cash-Point}{% Aaltonen:2000:SCP,% Browne:2000:CPS,% Denvir:2000:CPA,% Dierks:2000:MVC,% Kotkas:2000:CPS% }. \NAMECITE{{CASL}}{% Bidoit:2002:ASC% }. \NAMECITE{Categorical}{% Castro:2015:CFS,% Dennis-Jones:1993:CMC% }. \NAMECITE{categorically}{% Fokkinga:1992:CC% }. \NAMECITE{Category}{% Dennis-Jones:1993:CMC% }. \NAMECITE{Category-theoretic}{% Dennis-Jones:1993:CMC% }. \NAMECITE{causally}{% Hallal:2006:FAP% }. \NAMECITE{{CCP}}{% Tini:2004:TCC% }. \NAMECITE{{CCS}}{% Brebner:1993:CBI,% Hussak:1996:CPR,% Krishnan:1996:AC,% Walker:1989:AAM% }. \NAMECITE{{CCS}-based}{% Brebner:1993:CBI% }. \NAMECITE{Celebrating}{% Rydeheard:2002:CPM% }. \NAMECITE{Cell}{% Rashid:2020:FVR% }. \NAMECITE{centred}{% Cruz-Filipe:2014:SBS% }. \NAMECITE{centric}{% DiGiusto:2016:EBR,% Montali:2016:MCP% }. \NAMECITE{certifiably}{% Lechenet:2018:CBB% }. \NAMECITE{certificates}{% Zhao:2021:LSN% }. \NAMECITE{certification}{% Woodcock:2008:CME% }. \NAMECITE{certified}{% Aransay:2010:GCC% }. \NAMECITE{Certifying}{% Coupet-Grimal:2004:CCT% }. \NAMECITE{Chain}{% Hermann:1990:CPR% }. \NAMECITE{{Chalice}}{% Leino:2012:SRH% }. \NAMECITE{challenge}{% Joshi:2007:MCB% }. \NAMECITE{challenges}{% Leavens:2007:SVC,% Sitaraman:2011:BPB% }. \NAMECITE{Changing}{% Duce:1999:CFS% }. \NAMECITE{channel}{% Bouyer:2012:TIF,% Lowe:2019:DCD,% Ngondi:2021:DSC,% Yazid:2015:MEI% }. \NAMECITE{Channels}{% Cowling:2000:SWU% }. \NAMECITE{characterisation}{% Pomello:1992:ACE% }. \NAMECITE{Characterisations}{% Deng:2012:CTP% }. \NAMECITE{characterization}{% Damgaard:2013:ICM% }. \NAMECITE{charts}{% Miyazawa:2014:RBV% }. \NAMECITE{checked}{% Bevier:1992:MCP,% Groote:2005:CCA% }. \NAMECITE{Checker}{% Basile:2021:AAT,% Derrick:2011:ZTB,% Dobrikov:2016:OPM,% Fisher:1992:MCL,% Latella:1999:AVB,% Smith:2006:VDR% }. \NAMECITE{checkers}{% Banerjee:2017:DBR% }. \NAMECITE{Checking}{% Cimatti:1998:FVR,% Dams:1998:POR,% Dubslaff:2021:EPM,% Kwiatkowska:2003:PMC,% Roscoe:2013:CNT,% Basuki:2009:MCU,% Braghin:2011:MCB,% Chrszon:2018:PFO,% Cordy:2021:SMC,% Dabaghchian:2015:MCO,% Dierks:2004:CMC,% Evans:2007:ITS,% Franzle:2004:MCD,% Gallardo:2004:GSP,% Geisler:2021:SDM,% George:2008:SPM,% Gomez:2013:MCT,% Gunter:2005:MCT,% Hansen:1994:MCD,% Holzmann:2011:MCB,% Jorges:2011:APC,% Jourdan:2010:LBL,% Kirwan:2016:MCL,% Kokash:2012:RMF,% Li:2018:ETS,% Lindsay:2012:CSA,% Meyer:2008:MCD,% Miller:2017:PCL,% Molnar:2016:CWI,% Montali:2016:MCP,% Mota:2015:MCC,% Murray:2013:LRT,% Norman:2005:UPM,% Perna:2013:MCR,% Schrammel:2017:IBM,% Smith:2009:MCA,% Song:2015:MCD,% Ural:2006:CCS,% Konnov:2019:BRE% }. \NAMECITE{checking-based}{% Braghin:2011:MCB% }. \NAMECITE{checks}{% Ramananandro:2008:MEP% }. \NAMECITE{chemical}{% John:2013:CVC% }. \NAMECITE{chemistry}{% Leth:1995:SFC% }. \NAMECITE{chip}{% Schmaltz:2008:FFC% }. \NAMECITE{choice}{% Best:1992:CGH,% Butler:2012:EIC,% Knijnenburg:1997:SCA,% Stoddart:2013:UPC% }. \NAMECITE{{CICS}}{% Houston:1994:SDC% }. \NAMECITE{circuit}{% Bevier:1992:MCP% }. \NAMECITE{circuits}{% Abdulla:1992:AVC,% Banach:2013:MGFa,% Banach:2013:MGFb,% Beillahi:2019:MVF,% Coupet-Grimal:2004:CCT,% Josephs:1997:USA,% OLeary:1997:VCC% }. \NAMECITE{circular}{% Elkader:2018:ACA,% Lucanu:2015:PEC% }. \NAMECITE{Circus}{% Cavalcanti:2003:RSC,% Oliveira:2009:USC,% Cavalcanti:2011:CLD% }. \NAMECITE{Clarification}{% King:1999:SLZ% }. \NAMECITE{Clarke}{% Konnov:2019:BRE% }. \NAMECITE{Class}{% Back:2000:CRS,% Abdulla:1992:AVC,% Boucheneb:2008:ITC,% Colvin:2014:OSO,% Huang:2017:CMB,% Lieberherr:1994:OEC% }. \NAMECITE{classes}{% Smith:1995:FAS% }. \NAMECITE{classification}{% vanderAalst:2011:SWN% }. \NAMECITE{classroom}{% Schreiner:2009:RPP% }. \NAMECITE{clause}{% Fu:2017:OSR% }. \NAMECITE{client}{% Barbanera:2016:RCS,% Filipovic:2010:BCD% }. \NAMECITE{client/server}{% Barbanera:2016:RCS% }. \NAMECITE{Clock}{% Zhou:1996:CVR,% Barsotti:2007:VCS% }. \NAMECITE{clocked}{% Banach:2013:MGFb,% OLeary:1997:VCC% }. \NAMECITE{closed}{% Bagnara:2005:NCC% }. \NAMECITE{Closure}{% Paun:2003:CUS% }. \NAMECITE{closures}{% Hermann:1990:CPR,% Ronn:1996:ICT% }. \NAMECITE{Cloud}{% Arcaini:2016:ABF,% Lahouij:2020:EBB% }. \NAMECITE{{CML}}{% Mota:2015:MCC% }. \NAMECITE{Co}{% Ochsenschlager:1998:SVT,% Billington:1996:CIG,% Seki:2017:DPC% }. \NAMECITE{co-invariant}{% Billington:1996:CIG% }. \NAMECITE{co-logic}{% Seki:2017:DPC% }. \NAMECITE{Co-operating}{% Ochsenschlager:1998:SVT% }. \NAMECITE{Code}{% Bergstra:2000:PAC,% Bruni:2018:COA,% Jacobs:2007:CCT,% Aransay:2010:GCC,% Bu:2021:MLS,% Jorges:2011:APC,% Kirwan:2016:MCL,% Leino:2012:SRH,% Moha:2010:DAS,% Muhlberg:2012:VCF% }. \NAMECITE{Code-carrying}{% Jacobs:2007:CCT% }. \NAMECITE{Cognitive}{% Bowman:1999:ACB,% Butterworth:2000:DCP,% Duke:1999:FCA,% Ruksenas:2009:VGM% }. \NAMECITE{Coherency}{% Felty:1999:CCS% }. \NAMECITE{Coinduction}{% Pous:2019:BCE% }. \NAMECITE{colimits}{% Lin:1990:MMI% }. \NAMECITE{Collaborative}{% Fraser:2020:CMA,% Banach:2019:BRJ% }. \NAMECITE{Collection}{% Rydeheard:2002:CPM% }. \NAMECITE{collector}{% Jones:2019:ILR,% Russinoff:1994:MVI% }. \NAMECITE{coloured}{% Andre:2016:FCU,% Boucheneb:2008:ITC% }. \NAMECITE{combination}{% Barsotti:2007:VCS,% Barua:2004:CCN,% Knijnenburg:1997:SCA% }. \NAMECITE{combinational}{% Banach:2013:MGFa% }. \NAMECITE{combinator}{% Fokker:1992:SCO% }. \NAMECITE{combinators}{% Mosses:2011:VSP% }. \NAMECITE{Combining}{% Butler:2000:CPA,% Derrick:2002:CCS,% Groote:1994:PAG,% Ruksenas:2014:CHE% }. \NAMECITE{comedy}{% vanEijck:1994:PFC% }. \NAMECITE{Command}{% Hesselink:1990:CAR,% Babic:2013:PTN% }. \NAMECITE{commitment}{% Stolen:1996:SRN% }. \NAMECITE{Communicating}{% Hennessy:1993:CPV,% Ipate:2002:TCC,% Hennessy:1991:PSC,% Koutny:1997:TIR,% Labbe:2008:SCA,% Lopez:2004:IFP,% Lowe:2008:SCP,% OLeary:1997:VCC,% Rossi:2021:MAC,% Schneider:2005:CTC,% Shi:2018:USC,% Stolen:1996:SRN,% Su:2014:ANM,% Bolton:2006:SFS% }. \NAMECITE{Communication}{% Cowling:2000:SWU,% deGroote:1998:NKY,% Ahmad:2020:FRF,% Bornat:2013:ETN,% Chapman:1990:DAI,% Chevrou:2016:DAC,% DiGiusto:2016:EBR,% Herzberg:2005:MLD,% Kobayashi:1995:ACM,% Moore:1994:FMA% }. \NAMECITE{communication-centric}{% DiGiusto:2016:EBR% }. \NAMECITE{Communications}{% Butler:2002:UDR,% Bruns:1994:FAC,% Castellani:2016:SAS,% Schmaltz:2008:FFC% }. \NAMECITE{compact}{% Dutle:2021:FAC% }. \NAMECITE{companion}{% Bowen:2018:BRE% }. \NAMECITE{Comparative}{% Stoelinga:2003:FFC,% Basin:2007:VSA,% Hayes:1992:VZC% }. \NAMECITE{Comparing}{% Dierks:2004:CMC% }. \NAMECITE{Comparison}{% Grosse-Rhode:2002:CCF,% Bhattacharyya:2017:ECF,% Corrodi:2018:SCW,% Derrick:2018:MPO,% Feinerer:2009:CTT,% Lynch:1995:CST,% Zave:2015:PCA% }. \NAMECITE{Compensation}{% Liu:2014:CD% }. \NAMECITE{compilation}{% Lermer:2006:PCR,% McKeever:2006:PCH,% Nys:2017:ACP,% OLeary:1997:VCC% }. \NAMECITE{compiled}{% Muhlberg:2012:VCF% }. \NAMECITE{Compiler}{% Chalin:2007:LFV,% Jifeng:1994:SVP,% Bicarregui:2006:VSR,% Brown:1996:RHC,% Stepney:1991:DCC% }. \NAMECITE{Compilers}{% Diehl:2000:NSD,% Duran:2010:AAD% }. \NAMECITE{Complete}{% Huang:2017:CMB,% Ipate:2004:CDS,% Balcazar:1992:DBC,% Derrick:2021:VCP,% Gardiner:1993:SCR,% Huth:2005:RCI,% Mossakowski:2010:GCD,% Paiva:2016:GCT% }. \NAMECITE{Completeness}{% Barua:2004:CCN,% Drabent:2017:PCL,% Nickolas:1994:CFL% }. \NAMECITE{completions}{% Francez:1992:ECF% }. \NAMECITE{complex}{% Bu:2021:MLS% }. \NAMECITE{complexity}{% Hesselink:2016:CCC,% Hesselink:2017:TME% }. \NAMECITE{Compliant}{% Weidmann:2021:SCC% }. \NAMECITE{Component}{% Bergstra:2000:PAC,% Derrick:2002:CCS,% Molnar:2016:CWI,% Arcaini:2016:ABF,% Brogi:2019:ECM,% Dixit:2014:TBC,% Graiet:2017:VDA,% Ipate:2016:UIC,% Khakpour:2016:SSB,% Nazarpour:2017:CPS,% Oliveira:2016:RDC% }. \NAMECITE{component-based}{% Graiet:2017:VDA,% Khakpour:2016:SSB,% Nazarpour:2017:CPS,% Oliveira:2016:RDC% }. \NAMECITE{Component-wise}{% Molnar:2016:CWI% }. \NAMECITE{components}{% Basuki:2009:MCU,% Reed:2004:RIC% }. \NAMECITE{composability}{% Attie:2016:GFA% }. \NAMECITE{Composing}{% Cau:2000:CRD% }. \NAMECITE{composite}{% Lahouij:2020:EBB% }. \NAMECITE{Composition}{% Chen:2002:GC,% Janneck:2003:ATC,% vonMohrenschildt:2000:ACF,% Baeten:1994:SCA,% Galpin:2013:HHM,% Hamiaz:2016:CCM,% Lopes:2004:SCV,% Manohar:1995:CC% }. \NAMECITE{Compositional}{% Back:2003:CAS,% Best:1992:CGH,% Din:2015:CRA,% Flammini:2021:CMR,% Graf:1996:CMF,% Grosse-Rhode:2002:CCF,% McIver:2011:CRA,% Morgan:2012:CNF,% Valmari:1995:CFB,% Wang:2017:CMV,% Zhou:1996:CVR,% Devillers:2008:CPN,% Ehmety:2005:MCR,% Taha:2015:CAB% }. \NAMECITE{compositionally}{% Tini:2004:TCC% }. \NAMECITE{compositions}{% Kokash:2012:RMF% }. \NAMECITE{Comprehensive}{% Stunkel:2021:CSF% }. \NAMECITE{Computable}{% Ponse:1996:CPB% }. \NAMECITE{Computation}{% Jing:2018:CTM,% Aransay:2016:FCE,% Dong:2014:TVC,% Mizera:2019:GAS,% Ross:1997:RPB,% Staples:1994:FLH,% Stoddart:2013:UPC% }. \NAMECITE{Computations}{% Glesner:2006:FIC,% Santiago:2006:FAC% }. \NAMECITE{Computer}{% Anonymous:2017:MJC,% Duke:1999:FCA,% Rydeheard:2002:CPM,% Borger:2007:CAG,% Bornat:2009:PLC,% Curzon:2007:AFV,% Groote:2005:CCA,% Runde:2013:RCS,% Thomas:1989:DMT% }. \NAMECITE{computer-based}{% Borger:2007:CAG% }. \NAMECITE{Computerized}{% Boralv:1998:CSF% }. \NAMECITE{Computing}{% Boulgakov:2016:CMW,% Leino:1999:CPE,% Wing:2000:FWC,% Notarmarco:1991:FAC,% Collinson:2007:EBA% }. \NAMECITE{concepts}{% Back:1990:RCF,% Colvin:2014:OSO,% Kim:2009:FDD,% Sannella:1997:ECA% }. \NAMECITE{Concerned}{% Daum:2014:CUU% }. \NAMECITE{{Concise}}{% Bowen:2020:BRG% }. \NAMECITE{Concolic}{% Kim:2012:CTM% }. \NAMECITE{{Concrete}}{% Hallerstede:2018:BRT% }. \NAMECITE{Concurrency}{% Davies:2003:CRU,% Nazarpour:2017:CPS,% Breu:1996:ASF,% Brooke:2009:CAM,% Colvin:2017:DSM,% Hayes:2016:GRG,% Hayes:2019:SPA,% Jones:2015:BEF,% Kwiatkowska:1989:EFN,% Moszkowski:2017:ATP,% Nienaltowski:2009:CC,% Ostroff:2009:BCC,% Pedersen:2018:SCV,% Pitt:1994:RSU% }. \NAMECITE{Concurrency-preserving}{% Nazarpour:2017:CPS% }. \NAMECITE{Concurrent}{% Chaki:2005:CSV,% Chandy:1994:PCP,% Derrick:2003:RCR,% Inverardi:1994:APR,% Joshi:2000:MCP,% Stannett:1994:ICS,% Andre:2016:FCU,% Antonino:2019:EVC,% Betin-Can:2007:HDC,% Boiten:2009:RCR,% Bostrom:2014:DCP,% Corrodi:2018:SCW,% Costa:1995:PAC,% Derrick:2014:RCR,% Derrick:2021:VCP,% Dongol:2008:SPB,% Dybjer:1989:FPA,% Ehmety:2005:MCR,% Fiadeiro:1992:TTM,% Fidge:1997:ABF,% He:1990:IPT,% Hesselink:2016:CCC,% Hesselink:2017:TME,% Jones:2011:ECA,% Jones:2019:ILR,% Lynch:1995:CST,% Polyvyanyy:2015:UNA,% Russinoff:1992:VSC,% Sinclair:1995:ERS,% Wang:2011:SPA,% Winskel:2012:DCS,% Xu:1997:RGM% }. \NAMECITE{Conditional}{% Manohar:1995:CC% }. \NAMECITE{Conditions}{% Ipate:2002:TCC% }. \NAMECITE{confidentiality}{% Banks:2014:ICF,% Bella:2014:ISC% }. \NAMECITE{configuration}{% Bucci:1993:EIS,% vanderAalst:2010:PCD% }. \NAMECITE{configurations}{% Albert:2015:QAC% }. \NAMECITE{Configured}{% Vickers:2001:PCS% }. \NAMECITE{confluence}{% Christiansen:2017:PCM% }. \NAMECITE{Conformance}{% Cardell-Oliver:2000:CTR,% Hierons:2000:TCQ,% Cusack:1991:RCI,% Feo-Arenis:2016:RTE,% Jorges:2011:APC% }. \NAMECITE{{Congress}}{% Wing:2000:FWC% }. \NAMECITE{Conjunctive}{% Mahony:1999:LCR,% Nys:2017:ACP% }. \NAMECITE{connection}{% Baier:1997:CBI% }. \NAMECITE{conquer}{% Gorlatch:1995:PDC% }. \NAMECITE{consequences}{% Collinson:2007:EBA% }. \NAMECITE{conservative}{% Owe:1993:PLR% }. \NAMECITE{considerations}{% Sitaraman:1996:IPC% }. \NAMECITE{Consistency}{% Kobayashi:2019:CPR,% Stunkel:2021:CSF,% Weidmann:2021:SCC,% Evans:2007:ITS,% Keshishzadeh:2016:FTC,% Spivey:1996:CTF% }. \NAMECITE{Consistency-preserving}{% Kobayashi:2019:CPR% }. \NAMECITE{Consistent}{% Ehrig:2010:CIM,% Hallal:2006:FAP% }. \NAMECITE{constants}{% Soparkar:1990:ICH% }. \NAMECITE{constrained}{% Xuandong:2004:DCR% }. \NAMECITE{Constraint}{% Arias:2017:CLP,% Christiansen:2017:PCM,% Pettorossi:2012:CBC,% Mathis:2010:FGC,% Subramani:2013:IAO% }. \NAMECITE{Constraint-based}{% Pettorossi:2012:CBC% }. \NAMECITE{Constraints}{% Lermer:2003:LAE,% Antoy:2017:TBE,% Beierle:1996:SCP,% Fu:2013:SLS,% Orejas:2010:RGC% }. \NAMECITE{construct}{% Wright:2011:UEB% }. \NAMECITE{Constructing}{% John:2013:CVC,% Ural:2006:CCS% }. \NAMECITE{Construction}{% Borger:2007:CAG,% Armstrong:2016:BPC,% Boucheneb:2008:ITC,% Fokker:1992:SCO,% Hamiaz:2016:CCM,% Haxthausen:2011:FAC,% Hesselink:2004:APC,% Li:2018:ETS% }. \NAMECITE{constructions}{% Bezem:1997:FPA,% Parent-Vigouroux:1997:VPC,% Seldin:1992:CCC% }. \NAMECITE{constructive}{% Henson:1989:PDC% }. \NAMECITE{container}{% Polikarpova:2018:FVC% }. \NAMECITE{Content}{% Anonymous:2003:CV% }. \NAMECITE{Contention}{% Kwiatkowska:2003:PMC,% Stoelinga:2003:FFC% }. \NAMECITE{Context}{% Hennicker:1991:CIP,% Holzmann:2011:MCB,% Massink:2012:SCD,% Pasqualin:2015:TCA% }. \NAMECITE{context-dependent}{% Massink:2012:SCD% }. \NAMECITE{Continuation}{% Audebaud:1999:DPR% }. \NAMECITE{Continuous}{% Banach:2014:CKA,% Hung:1999:PDC,% Filieri:2012:FAA% }. \NAMECITE{continuous/discrete}{% Banach:2014:CKA% }. \NAMECITE{Contract}{% Wiik:2016:CBV,% Chatterjee:2014:AGS% }. \NAMECITE{Contract-based}{% Wiik:2016:CBV% }. \NAMECITE{Contracts}{% Nienaltowski:2009:CC,% Laneve:2015:ATW,% Ostroff:2009:BCC% }. \NAMECITE{contractually}{% OHalloran:1997:UFS% }. \NAMECITE{Contribution}{% Rydeheard:2002:CPM% }. \NAMECITE{control}{% Banach:2014:CKA,% Cavalcanti:2011:CLD,% Cavalcanti:2014:TDG,% Collinson:2010:ALA,% Haxthausen:2011:FAC,% Khakpour:2016:SSB,% Mizuno:1992:SFC,% Nienaltowski:2009:FAC,% Vilkomir:2006:MDR,% Collinson:2010:EAL% }. \NAMECITE{control-flow}{% Vilkomir:2006:MDR% }. \NAMECITE{controllable}{% Hierons:2008:TDI% }. \NAMECITE{controller}{% Bacci:2021:ORC,% Fraser:2020:CMA% }. \NAMECITE{controllers}{% Bersani:2020:PSR,% Bochmann:2017:SVC,% DeWachter:2005:FDD,% Menghi:2019:VDF,% Zhao:2021:LSN% }. \NAMECITE{Conventions}{% Dijkstra:2002:ENC% }. \NAMECITE{Convergence}{% Stannett:1994:ICS% }. \NAMECITE{conversations}{% Ghilezan:2016:DRA,% Neykova:2017:TRM% }. \NAMECITE{conversion}{% Bhaduri:2008:ISP% }. \NAMECITE{converters}{% Brown:1996:RHC% }. \NAMECITE{convex}{% Bagnara:2005:NCC% }. \NAMECITE{Cooperating}{% Gheorghe:2000:GSX% }. \NAMECITE{Copeland}{% Jones:2017:BRT% }. \NAMECITE{{Coq}}{% Kammuller:2008:FNI% }. \NAMECITE{{Coquand}}{% Seldin:1992:CCC% }. \NAMECITE{coroutines}{% Nys:2017:ACP% }. \NAMECITE{Correct}{% Back:2000:CRS,% Hamiaz:2016:CCM,% Wray:1994:CTD,% McKeever:2006:PCH,% Stepney:1991:DCC,% Ward:2014:PCD% }. \NAMECITE{Correct-by-construction}{% Hamiaz:2016:CCM% }. \NAMECITE{correcting}{% Lowe:2019:DCD% }. \NAMECITE{Correction}{% Diskin:2020:CMM% }. \NAMECITE{Correctness}{% Felty:1999:CCS,% Fox:2000:AMC,% Glesner:2006:FIC,% Hesselink:2016:CCC,% Santiago:2006:FAC,% Alagar:1991:FSP,% Beierle:1996:SCP,% BohorquezV:2010:EUA,% Botaschanjan:2008:CUL,% Derrick:2021:VCP,% Koutny:1997:TIR,% Menghi:2021:TWM,% Mizuno:1992:SFC,% Pettorossi:2012:CBC,% Stewart:2013:RAO,% vanderAalst:2010:PCD% }. \NAMECITE{Cost}{% Hatefi:2017:CVT% }. \NAMECITE{costs}{% Brogi:2019:ECM% }. \NAMECITE{Counterexample}{% Ceska:2021:CGI% }. \NAMECITE{Counterexample-guided}{% Ceska:2021:CGI% }. \NAMECITE{Coupling}{% Flammini:2021:CMR% }. \NAMECITE{courses}{% Larsen:2009:POC% }. \NAMECITE{coverage}{% Cavalcanti:2014:TDG% }. \NAMECITE{criteria}{% Julliand:2011:GTB,% Vilkomir:2006:MDR% }. \NAMECITE{criterion}{% Anderson:1992:CA% }. \NAMECITE{critical}{% Yang:2021:EAI,% Cavalcanti:2013:SCJ% }. \NAMECITE{Critics}{% Ireland:1999:IPC% }. \NAMECITE{{CRL}}{% Badban:2005:VSW,% Shankland:1998:TIP% }. \NAMECITE{Cryptographic}{% Heather:2014:CPE,% Bertolotti:2008:ERA,% Saleh:2010:GTF,% Slind:2007:PPS% }. \NAMECITE{CSMA}{% Calder:2014:MIC% }. \NAMECITE{CSMA/CA}{% Calder:2014:MIC% }. \NAMECITE{{CSP}}{% Brooke:2007:CME,% Butler:2000:CPA,% Derrick:2002:CCS,% Derrick:2003:SRS,% Evans:2007:ITS,% Howells:2009:CMF,% Huang:2020:MVT,% Moran:2014:VAV,% Morgan:1996:ROP,% Murray:2013:LRT,% Ngondi:2021:DSC,% Roscoe:2005:EPC,% Roscoe:2013:CNT,% Schneider:2000:ATC,% Schneider:2005:CTC,% Wehrheim:2000:DAT% }. \NAMECITE{{CSP\#}}{% Yamagata:2014:FSE% }. \NAMECITE{{csp2B}}{% Butler:2000:CPA% }. \NAMECITE{{CtCoq}}{% Bertot:1999:CSD% }. \NAMECITE{{CTL*}}{% Reynolds:2011:TBD% }. \NAMECITE{CTML}{% Jing:2018:CTM% }. \NAMECITE{{CTS}}{% Calder:2014:MIC,% Yazid:2015:MEI% }. \NAMECITE{custom}{% Dubois:2018:TPC% }. \NAMECITE{Cut}{% Lechenet:2018:CBB,% Lindsay:2012:CSA,% Drabent:2017:PCL% }. \NAMECITE{cyber}{% Knapp:2020:BRA% }. \NAMECITE{cyber-physical}{% Knapp:2020:BRA% }. \NAMECITE{cyclic}{% Al-Bataineh:2015:AWC,% Bird:2012:BCS,% Nishimura:1997:SFL% }. \NAMECITE{{Daniel}}{% Monahan:2018:BRD% }. \NAMECITE{Data}{% Back:2000:EDD,% Butler:2002:UDR,% Gaudel:1998:TAD,% Kondoh:2003:ADT,% Larsen:1994:FSD,% Naumann:1995:DRC,% Reeves:2008:DRS,% Sere:2000:DRR,% Wehrheim:2000:DAT,% Beckert:2005:RRP,% Cavalcanti:2014:TDG,% Cavarra:2011:DFA,% Derrick:2021:VCP,% Dubois:2018:TPC,% Filipovic:2010:BCD,% Gardiner:1993:SCR,% Johnson:2013:DTS,% Montali:2016:MCP,% Nishimura:1997:SFL,% Olderog:2015:STD,% Peleska:2021:EDV,% Pironti:2014:SAD,% Preoteasa:2012:IDD,% Rosaci:2015:FSA,% Smith:2006:VDR,% Spivey:1995:UCS,% Wray:1994:CTD,% Zhang:2018:FVQ% }. \NAMECITE{data-based}{% Hennicker:2021:HDL% }. \NAMECITE{data-centric}{% Montali:2016:MCP% }. \NAMECITE{data-enriched}{% Olderog:2015:STD% }. \NAMECITE{data-flow}{% Cavarra:2011:DFA% }. \NAMECITE{database}{% George:1992:NDS,% Kazmierczak:1992:MSS,% Wu:2014:FRD% }. \NAMECITE{Dataflow}{% Avron:1994:SSD,% Gay:2003:IES,% Kokash:2012:RMF% }. \NAMECITE{datatypes}{% Bird:1999:GFN,% Martin:2004:DEG% }. \NAMECITE{David}{% Paterson:1990:OPD% }. \NAMECITE{{DC}}{% Vilkomir:2006:MDR% }. \NAMECITE{Deadline}{% Kwiatkowska:2003:PMC% }. \NAMECITE{deadlines}{% Gomez:2013:MCT% }. \NAMECITE{deadlock}{% Brebner:1993:CBI,% Lowe:2019:DCD% }. \NAMECITE{deadlocks}{% Chaki:2005:CSV% }. \NAMECITE{Dec}{% Bjorner:2008:JWB% }. \NAMECITE{decidability}{% vanderAalst:2011:SWN% }. \NAMECITE{Deciding}{% Balcazar:1992:DBC,% Fioriti:2016:DPA,% Vu:2007:DOB% }. \NAMECITE{decision}{% Reynolds:2011:TBD,% Tappler:2021:BLM,% Xia:2011:SDP,% Monahan:2018:BRD% }. \NAMECITE{Decisions}{% Fecher:2006:ARA% }. \NAMECITE{declarative}{% Li:2017:RAA% }. \NAMECITE{Decoding}{% Back:2000:EDD% }. \NAMECITE{decomposition}{% Faitelson:2017:IDD,% Mathis:2010:FGC% }. \NAMECITE{deduction}{% Nys:2017:ACP% }. \NAMECITE{Deductive}{% Slanina:2008:DVA,% Barsotti:2007:VCS,% Beckert:2013:DLD% }. \NAMECITE{Deep}{% Mahony:2002:DSL,% Yang:2021:ERV,% Rossini:2014:FDM,% Tran:2021:VPD% }. \NAMECITE{Defining}{% Chapman:1990:DAI% }. \NAMECITE{Definition}{% Leonard:1998:FDT,% Weber:1993:DBP,% Caswell:1997:EFS,% Rabanal:2013:TRS% }. \NAMECITE{definitions}{% Spivey:1996:CTF% }. \NAMECITE{Delimited}{% Balanescu:2000:GSX% }. \NAMECITE{delta}{% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{Demand}{% Avron:1994:SSD% }. \NAMECITE{demonstrably}{% Stepney:1991:DCC% }. \NAMECITE{Demonstrating}{% Butterworth:2000:DCP% }. \NAMECITE{Denotational}{% Hense:1993:DSO,% Ngondi:2021:DSC,% Sheng:2020:TPA,% Zhu:2015:DSA,% Butterfield:2011:DSH,% Mizuno:1992:SFC% }. \NAMECITE{Dense}{% Cau:2000:CRD,% Bientinesi:2013:DDL,% Franzle:2004:MCD% }. \NAMECITE{dense-time}{% Franzle:2004:MCD% }. \NAMECITE{dependable}{% Betin-Can:2007:HDC,% Bhattacharyya:2017:ECF% }. \NAMECITE{dependent}{% Alagar:1991:FSP,% Massink:2012:SCD% }. \NAMECITE{Dependently}{% Pollack:2002:DTR% }. \NAMECITE{deployment}{% Graiet:2017:VDA% }. \NAMECITE{Derivation}{% Bostrom:2014:DCP,% Pettorossi:2002:LIS,% El-Fakih:2018:ADT,% Groves:2009:TBD,% Ward:2014:PCD,% Zhu:2015:DSA% }. \NAMECITE{derivations}{% Back:2010:SDU,% Dongol:2008:SPB% }. \NAMECITE{derivative}{% Boiten:2006:GEE% }. \NAMECITE{derived}{% Partsch:1990:FPM% }. \NAMECITE{Deriving}{% Alrajeh:2010:DNZ,% Audebaud:1999:DPR,% Banerjee:2017:DBR,% Bientinesi:2013:DDL,% Billington:1996:CIG% }. \NAMECITE{describe}{% Kim:2009:FDD% }. \NAMECITE{described}{% Kuhlmann:2008:MVM% }. \NAMECITE{Description}{% Paynter:2000:AAD,% Bagnara:2005:NCC,% Bjorner:2017:MDA,% Broy:1991:TFF% }. \NAMECITE{Design}{% Anderson:1998:DPA,% Bertot:1999:CSD,% Dissoubray:2000:DAT,% Duke:1999:CSS,% Goguen:1999:SSA,% Hesselink:1999:VID,% Whittle:2002:PPF,% America:1989:IDP,% Arcaini:2016:ABF,% Banach:2014:CKA,% Banach:2019:BRJ,% Betin-Can:2007:HDC,% Bevier:1992:MCP,% DeWachter:2005:FDD,% Duran:2010:AAD,% Faitelson:2017:IDD,% Gleirscher:2021:RDA,% Josephs:1997:USA,% Kim:2009:FDD,% Lanotte:2007:PPT,% Liu:2014:CD,% Marmsoler:2019:IVA,% Menghi:2019:VDF,% Moha:2010:DAS,% Santos:2018:ASM,% Sitaraman:1996:IPC,% Stoddart:2013:UPC,% Williams:1993:ADP,% Wu:2014:FRD% }. \NAMECITE{design-based}{% Stoddart:2013:UPC% }. \NAMECITE{Designing}{% Colvin:2017:DSM,% Jutla:1997:MDP% }. \NAMECITE{designs}{% Bowen:2009:RUI% }. \NAMECITE{desires}{% Li:2017:RAA% }. \NAMECITE{Detection}{% Romijn:2003:FLD,% Bagheri:2018:FAD,% Chawdhary:2017:PES,% Cordy:2021:SMC,% Elleuch:2015:FPA,% Moha:2010:DAS% }. \NAMECITE{determined}{% Larsen:1996:SUD% }. \NAMECITE{determinism}{% Barrett:1991:FPT,% Dabaghchian:2015:MCO% }. \NAMECITE{Deterministic}{% Hierons:2000:TCQ,% Ipate:2000:GTS,% Winskel:2012:DCS,% Hierons:2008:TDI,% Ipate:2004:CDS,% Ipate:2016:UIC,% Lopes:2004:SCV% }. \NAMECITE{{Deva}}{% Weber:1993:DBP% }. \NAMECITE{Development}{% Abrial:2003:MPI,% Arias:2001:SMF,% Butler:2002:UDR,% Henson:2003:LSB,% Thomas:1989:DMT,% Wing:2000:FWC,% Banach:2011:REB,% Butler:2008:IDM,% Dixit:2014:TBC,% Geisler:2021:SDM,% Henson:1989:PDC,% Henson:1999:RZPb,% Mota:2015:MCC,% Oliveira:2016:RDC,% Sannella:1997:ECA,% Seidel:1996:SDV,% Seldin:1992:CCC,% Stankaitis:2021:RBD,% Tarasyuk:2015:ISR,% Williams:2020:LDD% }. \NAMECITE{developments}{% Simons:1996:ALS% }. \NAMECITE{devices}{% Dix:2009:PMD% }. \NAMECITE{diagnose}{% Petiot:2018:HTH% }. \NAMECITE{Diagrams}{% Larsen:1994:FSD,% Latella:1999:AVB,% Cavalcanti:2011:CLD,% Chen:2009:FFM,% Kang:2007:PDV,% Preoteasa:2012:IDD,% Runde:2013:RCS,% Tenzer:2006:MRC% }. \NAMECITE{diet}{% Junges:2017:FTD% }. \NAMECITE{difference}{% Subramani:2013:IAO% }. \NAMECITE{differential}{% Tan:2021:AAE% }. \NAMECITE{digital}{% Chatterjee:2014:AGS% }. \NAMECITE{{Dijkstra}}{% Apt:2002:EWD,% Hofner:2012:DFW% }. \NAMECITE{Directed}{% Diehl:2000:NSD,% Bradley:2008:PDI,% Dongol:2014:RAG,% Fassbender:1992:ISD% }. \NAMECITE{{Dirk}}{% Loreti:2021:SPL% }. \NAMECITE{Disciplined}{% Martin:2004:DEG% }. \NAMECITE{{DisCo}}{% Aaltonen:2000:SCP% }. \NAMECITE{Discovering}{% Cook:2005:DAH,% Lowe:2019:DCD% }. \NAMECITE{Discovery}{% Llano:2014:DIT,% Fiadeiro:2011:AMS% }. \NAMECITE{Discrete}{% Baeten:1996:DTP,% Banach:2014:CKA,% Hansen:1994:MCD,% Hoang:2013:SID,% Williams:1993:ADP% }. \NAMECITE{Dispenser}{% Larsen:2000:UVM% }. \NAMECITE{distinguishing}{% El-Fakih:2018:ADT,% Gunicen:2014:RBP% }. \NAMECITE{Distributed}{% Arias:2001:SMF,% Dingel:2002:RCS,% Franzle:2003:SDE,% Gheorghe:2000:GSX,% Hesselink:1999:VID,% Inverardi:1994:APR,% Lentfert:1993:DMM,% Stomp:1994:PSR,% Albert:2015:QAC,% Chandy:2011:VDS,% Corrodi:2018:SCW,% DeWachter:2005:FDD,% Geisler:2021:SDM,% Groote:2005:CCA,% Hallal:2006:FAP,% Herzberg:2005:MLD,% Hierons:2012:UST,% Houston:1994:SDC,% Kindler:1997:PNB,% Krogdahl:1997:VDL,% Ma:2015:VDS,% Stankaitis:2021:RBD,% Swaminathan:2012:LRR,% Ural:2006:CCS% }. \NAMECITE{Distributing}{% Badouel:2002:DFA% }. \NAMECITE{Distributions}{% Tofts:2000:SAP% }. \NAMECITE{diversity}{% Chevrou:2016:DAC% }. \NAMECITE{divide}{% Gorlatch:1995:PDC% }. \NAMECITE{divide-and-conquer}{% Gorlatch:1995:PDC% }. \NAMECITE{divided}{% Lentfert:1993:DMM% }. \NAMECITE{Do}{% Backhouse:1989:DIY% }. \NAMECITE{Do-it-yourself}{% Backhouse:1989:DIY% }. \NAMECITE{{DOF}}{% Rashid:2020:FVR% }. \NAMECITE{doi.org}{% Bowen:2018:BRE% }. \NAMECITE{Domain}{% Anderson:1998:DPA,% Baier:1997:CBI,% Mammar:2015:PBV,% Moha:2010:DAS% }. \NAMECITE{domains}{% Bjorner:2017:MDA% }. \NAMECITE{Don't}{% Fidge:2003:WID% }. \NAMECITE{double}{% Bagnara:2005:NCC% }. \NAMECITE{{Draheim}}{% Loreti:2021:SPL% }. \NAMECITE{Drawing}{% Luteberget:2021:DSF% }. \NAMECITE{Driven}{% Avron:1994:SSD,% Bagheri:2016:MDS,% Hamiaz:2016:CCM,% Menghi:2019:VDF,% Williams:2020:LDD,% Zhu:2015:DSA% }. \NAMECITE{Driving}{% Wu:2021:SVS% }. \NAMECITE{{DSL}}{% Keshishzadeh:2016:FTC% }. \NAMECITE{dual}{% Seki:2017:DPC% }. \NAMECITE{duality}{% Bonsangue:1994:WPC,% Dijkstra:1995:DSF% }. \NAMECITE{Duration}{% Franzle:2004:MCD,% Hansen:1997:DCL,% Hung:1999:PDC,% Jifeng:2003:AFD,% Meyer:2008:MCD,% Xuandong:2004:DCR,% Hansen:1994:MCD,% Liu:2004:UPM% }. \NAMECITE{Duration-constrained}{% Xuandong:2004:DCR% }. \NAMECITE{during}{% vanderAalst:2010:PCD% }. \NAMECITE{Dynamic}{% Eggert:2017:DIN,% Ghilezan:2016:DRA,% Bhattacharyya:2017:ECF,% Hennicker:2021:HDL,% Julliand:2011:GTB,% Kassios:2011:DFT,% Mammar:2015:PBV,% Montali:2016:MCP,% Mossakowski:2010:GCD,% Norman:2005:UPM,% Smans:2010:AVJ,% Song:2015:MCD,% Beckert:2013:DLD% }. \NAMECITE{Dynamical}{% Genrich:2002:DQN,% Jin:2021:ISN% }. \NAMECITE{dynamically}{% America:1994:RAD% }. \NAMECITE{dynamics}{% Rabanal:2013:TRS,% Zhang:2018:FVQ% }. \NAMECITE{{E6}}{% Woodcock:2008:CME% }. \NAMECITE{{EB}}{% Vekris:2016:VEE% }. \NAMECITE{eBook}{% Bowen:2018:BRE% }. \NAMECITE{echelon}{% Aransay:2016:FCE% }. \NAMECITE{Editing}{% Takahashi:1999:PEH% }. \NAMECITE{{Editor}}{% Whittle:2002:PPF% }. \NAMECITE{Editorial}{% Ahrendt:2021:E,% Anonymous:1999:E,% Anonymous:2003:Ea,% Anonymous:2003:Eb,% Barkaoui:2008:GE,% Bjorner:2018:E,% Boca:2009:E,% Boiten:2005:GEI,% Boiten:2006:GEE,% Boiten:2009:E,% Boiten:2010:E,% Boiten:2012:E,% Boiten:2014:Ea,% Boiten:2014:Eb,% Borger:2011:E,% Bowen:2013:E,% Broy:1996:E,% Broy:2003:EWT,% Broy:2004:E,% Butler:2015:E,% Butler:2016:E,% Cabot:2021:E,% Carbone:2016:E,% Cavalcanti:2011:E,% Cavalcanti:2020:E,% Cerone:2009:E,% Chen:2021:E,% Cooke:1989:E,% Cooke:1991:E,% Cooke:1994:E,% Cooke:1995:E,% Cooke:1997:E,% Cooke:2002:Ea,% Cooke:2002:Eb,% Cooke:2003:E,% Cooke:2005:E,% Cooke:2007:E,% Cooke:2007:EVS,% Denney:2018:E,% Denvir:1991:E,% Denvir:1992:E,% Derrick:2006:GE,% Eleftherakis:2015:E,% Falaschi:2017:E,% Fantechi:2021:E,% Fiadeiro:2010:E,% Fiadeiro:2012:E,% Franzle:2019:E,% Giannakopoulou:2016:E,% Gnesi:1998:E,% Gnesi:2019:E,% Gries:1991:E,% Groote:1998:E,% Jones:1989:E,% Jones:1991:E,% Jones:1992:E,% Jones:1993:E,% Jones:1994:E,% Jones:2000:E,% Jones:2002:E,% Jones:2004:Ea,% Jones:2004:Eb,% Jones:2007:E,% Jones:2008:E,% Jones:2014:Ea,% Jones:2014:Eb,% Jones:2019:E,% Kroening:2011:E,% Lazic:2007:GE,% Leuschel:2005:GE,% Li:2017:E,% Liu:2011:E,% McIver:2021:E,% Merz:2016:Ea,% Merz:2016:Eb,% Merz:2016:Ec,% Paige:2009:E,% Proietti:2017:E,% Russo:2019:E,% Wing:1997:E,% Woodcock:2012:E,% Woodcock:2015:E,% deBoer:1994:E,% deVink:2021:E,% Boiten:2006:GEE% }. \NAMECITE{{Edmund}}{% Konnov:2019:BRE% }. \NAMECITE{eds}{% Banach:2019:BRJ,% Konnov:2019:BRE% }. \NAMECITE{{Edsger}}{% Apt:2002:EWD% }. \NAMECITE{effects}{% Letan:2021:MVP,% Mossakowski:2010:GCD% }. \NAMECITE{Efficient}{% Antonino:2019:EVC,% Bertolotti:2008:ERA,% Peleska:2021:EDV,% Boucheneb:2008:ITC,% Gurgens:2005:SAE,% Martin:2004:DEG,% Yousefi:2017:MEV,% Zhuo:2020:TEP% }. \NAMECITE{{Egon}}{% Bowen:2018:BRE% }. \NAMECITE{egress}{% Massink:2012:SCD% }. \NAMECITE{{Eiffel}}{% Brooke:2007:CME,% Brooke:2009:CAM,% Paige:2004:EOO% }. \NAMECITE{eISBN}{% Bowen:2018:BRE% }. \NAMECITE{elastic}{% Graiet:2017:VDA% }. \NAMECITE{electronic}{% Brebner:1993:CBI,% George:2008:SPM,% Haneberg:2008:VME,% Ramananandro:2008:MEP,% Woodcock:2008:CME% }. \NAMECITE{electrophysiology}{% Su:2009:PAM% }. \NAMECITE{elementary}{% BohorquezV:2010:EUA,% Lescanne:1995:TRS,% Pomello:1992:ACE,% Sampath:2014:ETP% }. \NAMECITE{Eliminating}{% Sanders:1991:ESA% }. \NAMECITE{Elucidating}{% Jones:2011:ECA% }. \NAMECITE{embedded}{% Banach:2019:BRJ,% Dixit:2014:TBC,% Kirwan:2016:MCL,% Schrammel:2017:IBM% }. \NAMECITE{embedding}{% Emoto:2012:FES% }. \NAMECITE{Embeddings}{% Leifer:2002:SLA% }. \NAMECITE{embeds}{% Tini:2004:TCC% }. \NAMECITE{Emergence}{% Sanders:2012:ER% }. \NAMECITE{emergency}{% Massink:2012:SCD% }. \NAMECITE{empirical}{% Bhattacharyya:2017:ECF% }. \NAMECITE{encapsulation}{% Naumann:2007:ABE% }. \NAMECITE{Encoding}{% Back:2000:EDD,% Shi:2018:USC% }. \NAMECITE{Encodings}{% Leino:1999:CPE,% Pironti:2014:SAD% }. \NAMECITE{energy}{% Bacci:2021:ORC% }. \NAMECITE{enforcement}{% Renard:2020:RET% }. \NAMECITE{Engineering}{% Bos:2003:RSE,% deLara:2021:LFE,% Burns:2007:EPV,% Chrszon:2018:PFO,% Hamiaz:2016:CCM,% Moller:2008:IFM% }. \NAMECITE{enhancement}{% Yazid:2015:MEI% }. \NAMECITE{Enhancements}{% Pous:2019:BCE% }. \NAMECITE{Enhancing}{% Dubslaff:2021:EPM,% Yang:2021:ERV% }. \NAMECITE{enriched}{% Olderog:2015:STD% }. \NAMECITE{ensuring}{% Feo-Arenis:2016:RTE% }. \NAMECITE{enterprise}{% Brogi:2019:ECM% }. \NAMECITE{environment}{% Riesco:2017:MEC% }. \NAMECITE{environments}{% Bersani:2020:PSR% }. \NAMECITE{equalities}{% Antoy:2017:TBE% }. \NAMECITE{Equality}{% Massart:1993:EAE% }. \NAMECITE{Equational}{% Meseguer:2017:EFP,% Misra:1990:ERA,% Robinson:2002:VAM% }. \NAMECITE{equations}{% Baier:1997:CBI,% Hesselink:2010:SEL,% Tan:2021:AAE% }. \NAMECITE{Equivalence}{% Caswell:1997:EFS,% Banerjee:2017:DBR,% Bloom:1994:WPT,% Christiansen:2017:PCM,% Ciobaca:2016:LIP,% Cleaveland:1993:TEB,% Francez:1992:ECF,% Huang:2017:CMB,% Lucanu:2015:PEC,% Ponse:1996:CPB% }. \NAMECITE{equivalence-completions}{% Francez:1992:ECF% }. \NAMECITE{equivalences}{% Qin:1991:FFS% }. \NAMECITE{equivalent}{% Reeves:2008:DRS% }. \NAMECITE{{ERC}}{% Paige:2004:EOO% }. \NAMECITE{Errata}{% Collinson:2007:EBA% }. \NAMECITE{Erratum}{% Collinson:2010:EAL% }. \NAMECITE{Error}{% Prasetya:1994:EUS,% Ruksenas:2014:CHE,% Yazid:2015:MEI% }. \NAMECITE{error-prone}{% Yazid:2015:MEI% }. \NAMECITE{errors}{% Harman:1996:SPP,% vanEijck:1994:PFC% }. \NAMECITE{Essence}{% Brookes:2014:ER% }. \NAMECITE{Essential}{% Sannella:1997:ECA% }. \NAMECITE{{Esterel}}{% Dissoubray:2000:DAT% }. \NAMECITE{Estimating}{% Brogi:2019:ECM% }. \NAMECITE{Estimation}{% Chen:2020:FCP,% Biondi:2019:HSE,% El-Fakih:2018:ADT,% Williams:1993:ADP% }. \NAMECITE{{Ethernet}}{% Ahmad:2020:FRF% }. \NAMECITE{EUR}{% Hallerstede:2018:BRT,% Monahan:2018:BRD% }. \NAMECITE{{Europe}}{% Fitzgerald:2004:FME% }. \NAMECITE{evaluate}{% Baresi:2020:UFV% }. \NAMECITE{Evaluation}{% Avron:1994:SSD,% Bernardo:1998:FPM,% Binkley:2006:FRB,% Chawdhary:2017:PES,% Huntbach:1989:MIP,% Nazarpour:2017:CPS% }. \NAMECITE{Event}{% DiGiusto:2016:EBR,% Kwiatkowska:1989:EFN,% Sinclair:1995:ERS,% Burton:1989:SAM,% Butler:2012:EIC,% Fathabadi:2015:LTS,% Hayes:2019:SPA,% Hennicker:2021:HDL,% Zhu:2015:DSA,% Banach:2011:REB,% Bostrom:2014:DCP,% Butler:2008:IDM,% Butler:2012:EIC,% Fathabadi:2015:LTS,% Hallerstede:2011:PEB,% Hallerstede:2012:EPV,% Hoang:2016:FUL,% Kobayashi:2019:CPR,% Lahouij:2020:EBB,% Lin:2019:AEB,% Schneider:2014:BSE,% Tarasyuk:2015:ISR,% Williams:2020:LDD,% Wright:2011:UEB% }. \NAMECITE{{Event-B}}{% Banach:2011:REB,% Bostrom:2014:DCP,% Butler:2008:IDM,% Butler:2012:EIC,% Fathabadi:2015:LTS,% Hallerstede:2011:PEB,% Hallerstede:2012:EPV,% Hoang:2016:FUL,% Kobayashi:2019:CPR,% Lahouij:2020:EBB,% Lin:2019:AEB,% Schneider:2014:BSE,% Tarasyuk:2015:ISR,% Williams:2020:LDD,% Wright:2011:UEB% }. \NAMECITE{Event-based}{% DiGiusto:2016:EBR,% Hayes:2019:SPA% }. \NAMECITE{event-driven}{% Zhu:2015:DSA% }. \NAMECITE{event/data}{% Hennicker:2021:HDL% }. \NAMECITE{event/data-based}{% Hennicker:2021:HDL% }. \NAMECITE{events}{% Anonymous:1990:FEa,% Anonymous:1990:FEb,% Anonymous:1990:FEc,% Anonymous:1990:FEd,% Anonymous:1991:FEa,% Anonymous:1991:FEb,% Anonymous:1991:FEc,% Anonymous:1991:FEd,% Anonymous:1992:FEa,% Anonymous:1992:FEb,% Anonymous:1992:FEc,% Anonymous:1992:FEd,% Anonymous:1992:FEe,% Anonymous:1993:FEa,% Anonymous:1993:FEb,% Anonymous:1993:FEc,% Anonymous:1993:FEd,% Anonymous:1993:FEe,% Chaki:2005:CSV% }. \NAMECITE{everyday}{% Heather:2014:CPE% }. \NAMECITE{everyone}{% Bella:2014:ISC% }. \NAMECITE{{Eves}}{% Freitas:2008:MMZ% }. \NAMECITE{evolving}{% Alencar:1996:LFE,% America:1994:RAD% }. \NAMECITE{{EWD1300}}{% Dijkstra:2002:ENC% }. \NAMECITE{Example}{% Korver:1998:EVU,% Larsen:2000:UVM,% Jones:2019:ILR,% Kindler:1997:PNB% }. \NAMECITE{exclusion}{% Hesselink:2013:SFM,% Hesselink:2017:TME,% Walker:1989:AAM% }. \NAMECITE{executable}{% Bucci:1993:EIS% }. \NAMECITE{Execution}{% Franzle:2003:SDE,% Lermer:2003:LAE,% Al-Bataineh:2015:AWC,% Baresi:2020:UFV,% Bu:2021:MLS,% deBoer:2021:SEF% }. \NAMECITE{Execution-Time}{% Lermer:2003:LAE% }. \NAMECITE{exercise}{% Wu:2014:FRD% }. \NAMECITE{existence}{% Tan:2021:AAE% }. \NAMECITE{existential}{% Amram:2021:GGS% }. \NAMECITE{Exits}{% King:1995:ERC% }. \NAMECITE{Expectations}{% Chalin:2007:LFV% }. \NAMECITE{experiences}{% Back:2009:IBP% }. \NAMECITE{experiment}{% Hedberg:1991:NAL% }. \NAMECITE{Experiments}{% Hallerstede:2012:EPV,% Barsotti:2007:VCS% }. \NAMECITE{explained}{% deBoer:2021:SEF% }. \NAMECITE{Explanation}{% Bornat:2013:ETN,% Todd:1995:FME% }. \NAMECITE{Explicit}{% Zhou:1996:CVR,% Hense:1993:DSO,% Li:2018:ETS% }. \NAMECITE{Exploiting}{% Yang:2021:EAI% }. \NAMECITE{explored}{% Paynter:2004:RMB% }. \NAMECITE{Explorer}{% Freitas:2009:FE% }. \NAMECITE{Exploring}{% He:2005:EOS,% Hennessy:2012:EPB,% Sekerinski:2003:ETV% }. \NAMECITE{explosives}{% Larsen:1994:RFS,% Mukherjee:1993:FSS% }. \NAMECITE{expressions}{% Larsen:1996:SUD,% Massart:1993:EAE,% Xuandong:2004:DCR% }. \NAMECITE{Expressive}{% Hayes:1998:EPS,% Polyvyanyy:2016:EPB,% Roscoe:2005:EPC% }. \NAMECITE{expressiveness}{% Jones:2015:BEF% }. \NAMECITE{Extended}{% Hesselink:1999:VID,% Zhang:2021:IPH,% Amram:2021:GGS,% Breu:1996:ASF,% Cassel:2016:ALE,% Faitelson:2017:IDD,% Kazmierczak:1992:MSS,% Miguel:1993:LEP,% Tappler:2021:BLM,% Yamagata:2014:FSE% }. \NAMECITE{Extending}{% Hooman:1994:EHL,% Lieberherr:1994:OEC,% Wu:2014:FRD% }. \NAMECITE{extension}{% Beierle:1996:RTW,% Beierle:1996:SCP,% Massart:1993:EAE% }. \NAMECITE{Extensional}{% Dong:2019:EPN,% Gay:2003:IES% }. \NAMECITE{External}{% Butler:2012:EIC% }. \NAMECITE{extra}{% Boiten:2014:IEO% }. \NAMECITE{extremal}{% Smolka:1996:PEP% }. \NAMECITE{{FAC}}{% Boiten:2006:GEE% }. \NAMECITE{Face}{% Duce:1999:CFS% }. \NAMECITE{facile}{% Leth:1995:SFC% }. \NAMECITE{Factorisation}{% Qin:1991:FFS% }. \NAMECITE{{FACTum}}{% Marmsoler:2019:IVA% }. \NAMECITE{failure}{% Ahmad:2020:FRF,% Banach:2013:AFR,% Valmari:1995:CFB,% vanEijck:1994:PFC% }. \NAMECITE{failure-based}{% Valmari:1995:CFB% }. \NAMECITE{failures}{% Bolton:2006:SFS,% Petiot:2018:HTH,% Reeves:2008:DRS% }. \NAMECITE{fair}{% Gurgens:2005:SAE,% Jutla:1997:MDP% }. \NAMECITE{fairness}{% Francez:1992:ECF,% Kwiatkowska:1989:EFN,% Sistla:1994:SLF% }. \NAMECITE{False}{% Romijn:2003:FLD% }. \NAMECITE{falsification}{% Kroening:2010:VFP% }. \NAMECITE{families}{% Dybjer:1994:IF% }. \NAMECITE{Family}{% deLara:2021:LFE,% Chrszon:2018:PFO% }. \NAMECITE{family-based}{% Chrszon:2018:PFO% }. \NAMECITE{fast}{% Partsch:1990:FPM% }. \NAMECITE{Fault}{% Junges:2017:FTD,% Banach:2013:MGFa,% Banach:2013:MGFb,% Bevier:1992:MCP,% Bonakdarpour:2015:SBT,% Demasi:2017:SRF,% Liu:1992:TPF% }. \NAMECITE{fault-tolerance}{% Demasi:2017:SRF,% Liu:1992:TPF% }. \NAMECITE{fault-tolerant}{% Bevier:1992:MCP% }. \NAMECITE{faulty}{% Bouyer:2012:TIF% }. \NAMECITE{{FDR}}{% Freitas:2009:FE% }. \NAMECITE{feature}{% Chrszon:2018:PFO% }. \NAMECITE{feature-oriented}{% Chrszon:2018:PFO% }. \NAMECITE{Features}{% Jifeng:2003:AFD% }. \NAMECITE{February}{% Anonymous:2017:MJC% }. \NAMECITE{feedback}{% Banach:2013:MGFb% }. \NAMECITE{{FermaT}}{% Ward:2014:PCD% }. \NAMECITE{Fifty}{% Apt:2019:FYH% }. \NAMECITE{file}{% Hesselink:2012:FHF,% Muhlberg:2012:VCF% }. \NAMECITE{filesystem}{% Joshi:2007:MCB% }. \NAMECITE{Filter}{% Emoto:2012:FES,% Tran:2021:VPD% }. \NAMECITE{Filter-embedding}{% Emoto:2012:FES% }. \NAMECITE{filters}{% Evangelidis:2021:QVK% }. \NAMECITE{Finding}{% Dimovski:2019:FSV,% Rosaci:2015:FSA,% Ramananandro:2008:MEP% }. \NAMECITE{fine}{% Damiani:2014:VTI% }. \NAMECITE{fine-grained}{% Damiani:2014:VTI% }. \NAMECITE{Finite}{% Badouel:2002:DFA,% Glesner:2006:FIC,% Cassel:2016:ALE,% Deng:2012:CTP,% El-Fakih:2018:ADT,% Graf:1996:CMF,% Qin:1991:FFS% }. \NAMECITE{FireWire}{% Calder:2003:USA,% Kwiatkowska:2003:PMC,% Schuppan:2003:VIF,% Stoelinga:2003:FFC% }. \NAMECITE{First}{% Jones:2004:OFP,% Martin:2000:RZF,% Wing:2000:FWC,% He:1990:IPT,% Morgan:2012:CNF% }. \NAMECITE{First-Order}{% Martin:2000:RZF% }. \NAMECITE{Fitzgerald}{% Banach:2019:BRJ% }. \NAMECITE{fixed}{% Barrett:1991:FPT% }. \NAMECITE{flash}{% Kim:2012:CTM% }. \NAMECITE{flaws}{% Bagheri:2018:FAD% }. \NAMECITE{Flexible}{% Nienaltowski:2009:FAC,% Howells:2009:CMF% }. \NAMECITE{Flow}{% Ladkin:1995:IMF,% Larsen:1994:FSD,% Biondi:2019:HSE,% Castellani:2016:SAS,% Cavarra:2011:DFA,% Mizuno:1992:SFC,% Vilkomir:2006:MDR% }. \NAMECITE{flows}{% Galpin:2013:HHM% }. \NAMECITE{{Floyd}}{% Hofner:2012:DFW% }. \NAMECITE{fold}{% Risi:2012:UFF% }. \NAMECITE{fold-in}{% Risi:2012:UFF% }. \NAMECITE{fold-out}{% Risi:2012:UFF% }. \NAMECITE{folds}{% Bird:1999:GFN,% Martin:2004:DEG% }. \NAMECITE{Forever}{% Fidge:2003:WID% }. \NAMECITE{form}{% Aransay:2016:FCE% }. \NAMECITE{Formal}{% Ahmad:2020:FRF,% Arias:2001:SMF,% Avalle:2014:FVS,% Bernardo:1998:FPM,% Bicarregui:1998:IIT,% Boiten:2005:GEI,% Boralv:1998:CSF,% Bowen:2020:BRG,% Bozzano:2019:FRA,% Cimatti:1998:FVR,% Dingel:1998:TFT,% Duce:1999:CFS,% Dutle:2021:FAC,% Elleuch:2015:FPA,% Foster:2021:IFP,% Grosse-Rhode:2002:CCF,% Hillston:2007:FTP,% Jebali:2016:FMV,% Konur:2014:FVP,% Korver:1998:FAA,% Larsen:1994:FSD,% Leonard:1998:FDT,% Notarmarco:1991:FAC,% Paige:1998:HNP,% Rashid:2020:FVR,% Santiago:2006:FAC,% Shi:2018:FAK,% Stoelinga:2003:FFC,% Wing:2000:FWC,% Wu:2014:FRD,% Zhang:2018:FVQ,% Aransay:2010:GCC,% Arcaini:2016:ABF,% Bagheri:2018:FAD,% Banach:2014:CKA,% Banks:2014:ICF,% Baresi:2020:UFV,% Binkley:2006:FRB,% Broy:1991:TFF,% Caswell:1997:EFS,% Chen:2009:FFM,% Cheng:2015:UFR,% Curzon:2007:AFV,% DeWachter:2005:FDD,% Feinerer:2009:CTT,% Feo-Arenis:2016:RTE,% Fidge:1997:ABF,% Filieri:2012:FAA,% Haigh:2019:APF,% Hallal:2006:FAP,% Haxthausen:2011:FAC,% Hayes:1995:UUM,% Jones:2015:BEF,% Kneuper:1997:LFM,% Larsen:1994:RFS,% Larsen:2009:POC,% Liu:2019:RAT,% Moller:2008:IFM,% Moore:1994:FMA,% Mukherjee:1993:FSS,% OHalloran:1997:UFS,% Pironti:2014:SAD,% Rabanal:2013:TRS,% Riccobene:2014:FFS,% Shi:2018:USC,% Siddique:2016:FAG,% Simons:1996:ALS,% Sitaraman:1996:IPC,% Struber:2018:VBM,% Stunkel:2021:CSF,% Todd:1995:FME,% Xie:2021:PCB,% Yamagata:2014:FSE,% dePutter:2018:FVT,% Fitzgerald:2004:FME,% Collinson:2007:EBA% }. \NAMECITE{Formalisation}{% Aransay:2016:FCE,% Bos:2003:RSE,% Rossini:2014:FDM% }. \NAMECITE{formalised}{% Back:1990:RCF,% Cavalcanti:2013:SCJ% }. \NAMECITE{Formalising}{% Andre:2016:FCU,% Nesi:1999:FVP% }. \NAMECITE{Formalism}{% Suhl:2002:OIF,% Dijkstra:1995:DSF,% Dupuy:2000:MFA,% Gorlatch:1995:PDC,% Kim:2009:FDD% }. \NAMECITE{formalisms}{% Bhattacharyya:2017:ECF% }. \NAMECITE{Formalization}{% Chen:2020:FCP,% Duke:1999:FCA,% Hehner:1998:FTS,% Bruns:1994:FAC,% Mathis:2010:FGC,% Schmaltz:2008:FFC,% Vilkomir:2006:MDR% }. \NAMECITE{Formalizing}{% Bezem:1997:FPA,% Hesselink:2012:FHF,% Kammuller:2008:FNI,% Keshishzadeh:2016:FTC,% Li:2015:FPA% }. \NAMECITE{Formally}{% Sisto:2018:FSI,% Bagheri:2016:MDS,% Doherty:2013:TFS,% deBoer:2021:SEF% }. \NAMECITE{formation}{% Llano:2014:DIT,% Rabanal:2013:TRS% }. \NAMECITE{Formula}{% Chen:2020:FCP,% Lamport:1994:HWL% }. \NAMECITE{Formulae}{% Cavezza:2021:WMG% }. \NAMECITE{formulas}{% Meseguer:2017:EFP% }. \NAMECITE{Forthcoming}{% Anonymous:1990:FEa,% Anonymous:1990:FEb,% Anonymous:1990:FEc,% Anonymous:1990:FEd,% Anonymous:1991:FEa,% Anonymous:1991:FEb,% Anonymous:1991:FEc,% Anonymous:1991:FEd,% Anonymous:1992:FEa,% Anonymous:1992:FEb,% Anonymous:1992:FEc,% Anonymous:1992:FEd,% Anonymous:1992:FEe,% Anonymous:1993:FEa,% Anonymous:1993:FEb,% Anonymous:1993:FEc,% Anonymous:1993:FEd,% Anonymous:1993:FEe% }. \NAMECITE{Foundation}{% Glesner:2006:FIC,% Borger:2007:CAG,% Broy:1991:TFF,% Cruz-Filipe:2014:SBS,% Hayes:2016:GRG,% Seldin:1992:CCC,% Struber:2018:VBM,% Stunkel:2021:CSF% }. \NAMECITE{Foundations}{% Chalin:2007:LFV,% Hoang:2016:FUL,% Michaelson:2019:BRB,% Wilhelm:2021:FPL,% Castro:2015:CFS,% Hansen:1997:DCL,% Knapp:2020:BRA% }. \NAMECITE{Four}{% Rewitzky:1998:UFV,% Luteberget:2021:DSF% }. \NAMECITE{fragments}{% Delzanno:2008:RAF% }. \NAMECITE{{Frama}}{% Kirchner:2015:FCS% }. \NAMECITE{{Frama-C}}{% Kirchner:2015:FCS% }. \NAMECITE{frames}{% Kassios:2011:DFT,% Smans:2010:AVJ% }. \NAMECITE{Framework}{% Wang:2017:CMV,% Whittle:2002:PPF,% Alencar:1996:LFE,% Attie:2016:GFA,% Beillahi:2019:MVF,% Breu:1996:ASF,% Bu:2021:MLS,% Chen:2009:FFM,% Comini:2017:PAF,% Kokash:2012:RMF,% Kroening:2009:FSM,% Lano:2015:FMT,% Lopez:2004:IFP,% Menghi:2019:VDF,% Riccobene:2014:FFS,% Saleh:2010:GTF,% Sherif:2010:PAF% }. \NAMECITE{free}{% Best:1992:CGH,% Groves:2009:TBD,% Hesselink:2013:SFM,% Spivey:1996:CTF% }. \NAMECITE{{FreeRTOS}}{% Cheng:2015:UFR% }. \NAMECITE{FRS}{% Anonymous:2017:MJC% }. \NAMECITE{{FSP}}{% Lang:2010:TFL% }. \NAMECITE{full}{% Ciobaca:2016:LIP% }. \NAMECITE{fully}{% Polikarpova:2018:FVC,% Smith:1995:FAS% }. \NAMECITE{Fun}{% Stoelinga:2003:FFC% }. \NAMECITE{Function}{% vonMohrenschildt:2000:ACF,% Zucker:1996:TNI% }. \NAMECITE{Functional}{% Alagar:1991:FSP,% Dybjer:1989:FPA,% Fassbender:1992:ISD,% Filieri:2012:FAA,% Nickolas:1994:CFL,% Nishimura:1997:SFL,% Schmaltz:2008:FFC,% Staples:1994:FLH% }. \NAMECITE{functionality}{% Banks:2014:ICF% }. \NAMECITE{functions}{% Cook:2005:DAH% }. \NAMECITE{Fundamentals}{% Bowen:2020:BRG% }. \NAMECITE{fusion}{% Emoto:2012:FES% }. \NAMECITE{futures}{% Din:2015:CRA% }. \NAMECITE{fuzzy}{% Sotudeh:2015:AAF% }. \NAMECITE{gain}{% Yang:2011:IGB% }. \NAMECITE{{GALS}}{% Jebali:2016:FMV% }. \NAMECITE{game}{% Saleh:2010:GTF% }. \NAMECITE{game-theoretic}{% Saleh:2010:GTF% }. \NAMECITE{games}{% Hatefi:2017:CVT,% Renard:2020:RET% }. \NAMECITE{garbage}{% Jones:2019:ILR,% Russinoff:1994:MVI% }. \NAMECITE{{Gaussian}}{% Siddique:2016:FAG% }. \NAMECITE{general}{% Attie:2016:GFA,% Devillers:2008:CPN% }. \NAMECITE{Generalisations}{% Robinson:2002:VAM% }. \NAMECITE{Generalised}{% Balanescu:2000:GSX,% Bird:1999:GFN,% Ceska:2007:GMP,% Gheorghe:2000:GSX,% Hayes:2016:GRG,% Martin:2004:DEG% }. \NAMECITE{generalized}{% Gallardo:2004:GSP% }. \NAMECITE{Generating}{% Aransay:2010:GCC,% Ipate:2000:GTS,% Julliand:2011:GTB,% Rebiha:2015:GIN% }. \NAMECITE{Generation}{% Diehl:2000:NSD,% Paiva:2016:GCT,% Banach:2013:MGFa,% Banach:2013:MGFb,% Best:1992:CGH,% Bornat:2009:PLC,% Bouneb:2015:RML,% Bradley:2008:PDI,% Cavalcanti:2014:TDG,% Nogueira:2014:TGS,% Santos:2018:ASM% }. \NAMECITE{Generator}{% Bozzano:2021:MBS,% Owe:1991:GIO,% Billington:1996:CIG% }. \NAMECITE{generators}{% Dubois:2018:TPC,% Jorges:2011:APC% }. \NAMECITE{Generic}{% Chen:2002:GC,% Mossakowski:2010:GCD,% Wissmann:2021:GPR% }. \NAMECITE{Genius}{% Apt:2002:EWD% }. \NAMECITE{Gentle}{% Harel:2010:APG% }. \NAMECITE{geographical}{% Peleska:2021:EDV% }. \NAMECITE{geometric}{% Mathis:2010:FGC% }. \NAMECITE{{Gerard}}{% Bowen:2020:BRG% }. \NAMECITE{Gerwin}{% Hallerstede:2018:BRT% }. \NAMECITE{Giant}{% Harel:2010:APG% }. \NAMECITE{{Gift}}{% Williams:2020:LDD% }. \NAMECITE{global}{% Chandy:2011:VDS% }. \NAMECITE{goal}{% Alrajeh:2010:DNZ,% Dongol:2014:RAG% }. \NAMECITE{goal-directed}{% Dongol:2014:RAG% }. \NAMECITE{{GomX}}{% Bisgaard:2019:BAS% }. \NAMECITE{{GomX-3}}{% Bisgaard:2019:BAS% }. \NAMECITE{Gordon}{% Anonymous:2017:MJC% }. \NAMECITE{Gorm}{% Banach:2019:BRJ% }. \NAMECITE{{GPU}}{% Mizera:2019:GAS% }. \NAMECITE{{GPU}-accelerated}{% Mizera:2019:GAS% }. \NAMECITE{{GR}}{% Amram:2021:GGS,% Cavezza:2021:WMG% }. \NAMECITE{grained}{% Damiani:2014:VTI% }. \NAMECITE{Grammar}{% Gheorghe:2000:GSX% }. \NAMECITE{Grammars}{% Weidmann:2021:SCC,% Chapman:1990:DAI% }. \NAMECITE{Graph}{% Kreowski:1999:GTU,% Weidmann:2021:SCC,% Zhao:2009:GTO,% Archibald:2021:TTG,% Junges:2017:FTD,% Orejas:2010:RGC% }. \NAMECITE{Graphical}{% Bornat:1999:MGU% }. \NAMECITE{Graphs}{% Ladkin:1995:IMF,% Leifer:2002:SLA,% Barros:2012:ABS,% Lentfert:1993:DMM% }. \NAMECITE{grid}{% Ahmad:2020:FRF% }. \NAMECITE{{GRL}}{% Jebali:2016:FMV% }. \NAMECITE{ground}{% Borger:2007:CAG% }. \NAMECITE{groups}{% Butler:2012:EIC,% Rosaci:2015:FSA% }. \NAMECITE{Guarantee}{% Dingel:1998:TFT,% Bornat:2010:IPB,% Chatterjee:2014:AGS,% Elkader:2018:ACA,% Hayes:2016:GRG,% Jones:2019:ILR,% Xu:1997:RGM% }. \NAMECITE{guarantees}{% Amram:2021:GGS% }. \NAMECITE{guards}{% Groote:1994:PAG% }. \NAMECITE{Guest}{% Barkaoui:2008:GE,% Boiten:2005:GEI,% Derrick:2006:GE,% Lazic:2007:GE,% Leuschel:2005:GE,% Boiten:2006:GEE% }. \NAMECITE{Guide}{% Bowen:2020:BRG,% Notarmarco:1991:FAC,% Jones:2017:BRT% }. \NAMECITE{guided}{% Ceska:2021:CGI,% Ruksenas:2009:VGM% }. \NAMECITE{halting}{% Stannett:1990:XMH% }. \NAMECITE{{Handbook}}{% Konnov:2019:BRE% }. \NAMECITE{{Handel}}{% Butterfield:2011:DSH% }. \NAMECITE{{Handel-C}}{% Butterfield:2011:DSH% }. \NAMECITE{handlers}{% Letan:2021:MVP% }. \NAMECITE{Handling}{% Christiansen:2017:PCM% }. \NAMECITE{Hardback}{% Hallerstede:2018:BRT,% Jones:2017:BRT,% Banach:2019:BRJ,% Monahan:2018:BRD% }. \NAMECITE{hardware}{% Brown:1996:RHC,% He:2005:EOS,% McKeever:2006:PCH,% Slind:2007:PPS,% Smith:2020:LHW% }. \NAMECITE{hardware/software}{% He:2005:EOS% }. \NAMECITE{{Haskell}}{% Bird:2012:BCS% }. \NAMECITE{heap}{% Leino:2012:SRH% }. \NAMECITE{heap-manipulating}{% Leino:2012:SRH% }. \NAMECITE{Heidelberg}{% Banach:2019:BRJ% }. \NAMECITE{Heinz}{% Jones:2015:MPH% }. \NAMECITE{Helmut}{% Konnov:2019:BRE% }. \NAMECITE{helps}{% Petiot:2018:HTH% }. \NAMECITE{{Hennessy}}{% Holmstrom:1989:RCS% }. \NAMECITE{Henzinger}{% Konnov:2019:BRE% }. \NAMECITE{{Herman}}{% Kiefer:2012:TTH,% Kwiatkowska:2012:PVH% }. \NAMECITE{Heterogeneous}{% Paige:1998:HNP% }. \NAMECITE{heuristic}{% Rabanal:2013:TRS% }. \NAMECITE{hierarchical}{% Hesselink:2012:FHF,% Yamagata:2014:FSE% }. \NAMECITE{hierarchically}{% Lentfert:1993:DMM,% Rosaci:2015:FSA% }. \NAMECITE{hierarchy}{% Colvin:2014:OSO% }. \NAMECITE{High}{% Calder:2003:USA% }. \NAMECITE{High-Performance}{% Calder:2003:USA% }. \NAMECITE{Higher}{% Abed:2013:AVR,% Zhang:2021:IPH,% Back:1990:RCF,% Cook:2005:DAH,% Naumann:1995:DRC,% Staples:1994:FLH% }. \NAMECITE{Higher-order}{% Zhang:2021:IPH% }. \NAMECITE{Highly}{% Betin-Can:2007:HDC% }. \NAMECITE{Historical}{% Pous:2019:BCE% }. \NAMECITE{history}{% Krogdahl:1997:VDL% }. \NAMECITE{{Hoare}}{% Apt:2019:FYH,% Arthan:2013:HLL,% Coenen:1995:HLV,% Groote:1994:PAG,% Hooman:1994:EHL,% Kleymann:1999:HLA% }. \NAMECITE{hoc}{% Castagna:1996:IPA,% Merro:2013:CTA,% Yousefi:2017:MEV% }. \NAMECITE{{HOL}}{% Aransay:2016:FCE,% Hallerstede:2018:BRT,% Li:2015:FPA,% Nesi:1999:FVP,% Paulson:2019:LIH,% Rashid:2020:FVR,% Siddique:2016:FAG,% Takahashi:1999:PEH% }. \NAMECITE{home}{% Best:1992:CGH% }. \NAMECITE{homological}{% Aransay:2010:GCC% }. \NAMECITE{{Hopfield}}{% Soparkar:1990:ICH% }. \NAMECITE{{Horn}}{% Fu:2017:OSR,% Seki:2017:DPC% }. \NAMECITE{http}{% Hallerstede:2018:BRT,% Monahan:2018:BRD% }. \NAMECITE{https}{% Bowen:2018:BRE% }. \NAMECITE{Human}{% Duke:1999:FCA,% Curzon:2007:AFV,% Ruksenas:2014:CHE,% Su:2009:PAM% }. \NAMECITE{Humble}{% vanLamsweerde:2011:HHR% }. \NAMECITE{Humorous}{% vanLamsweerde:2011:HHR% }. \NAMECITE{Huth}{% Michaelson:2019:BRB% }. \NAMECITE{Hybrid}{% Biondi:2019:HSE,% Galpin:2013:HHM,% Hennicker:2021:HDL,% Jifeng:2003:AFD,% Roux:1999:HVR,% Wang:2017:CMV,% Gaina:2017:BSC% }. \NAMECITE{hybridised}{% Madeira:2015:RHI% }. \NAMECITE{{HYPE}}{% Galpin:2013:HHM% }. \NAMECITE{hypertraces}{% Shields:1992:MHP% }. \NAMECITE{Identification}{% Calder:2003:USA% }. \NAMECITE{Identify}{% Abrial:2003:MPI,% Maharaj:2003:ITI,% Romijn:2003:FLD,% Schuppan:2003:VIF,% Shankland:1998:TIP,% Verdejo:2003:SVT% }. \NAMECITE{{IEEE}}{% Abrial:2003:MPI,% Calder:2003:USA,% Calder:2014:MIC,% Kwiatkowska:2003:PMC,% Maharaj:2003:ITI,% Romijn:2003:FLD,% Schuppan:2003:VIF,% Shankland:1998:TIP,% Stoelinga:2003:FFC,% Verdejo:2003:SVT,% Yazid:2015:MEI% }. \NAMECITE{if}{% Fidge:2003:WID% }. \NAMECITE{{II}}{% Banach:2013:MGFb,% Boiten:2009:RCR,% Henson:1999:RZPb,% Lee:2004:BTS% }. \NAMECITE{{III}}{% Derrick:2014:RCR% }. \NAMECITE{{ILP}}{% Alrajeh:2010:DNZ% }. \NAMECITE{Impact}{% Sitaraman:1996:IPC,% Runde:2013:RCS% }. \NAMECITE{imperative}{% Hesselink:1997:TMP,% Ross:1997:RPB% }. \NAMECITE{implementation}{% Fassbender:1992:ISD,% Hierons:2008:TDI,% Koutny:1997:TIR,% Lowe:2019:DCD,% Nazarpour:2017:CPS% }. \NAMECITE{implementations}{% Avalle:2014:FVS,% DeWulf:2005:AAS,% Hennicker:1991:CIP,% Huth:2005:RCI,% Miyazawa:2014:RBV,% Sisto:2018:FSI% }. \NAMECITE{implementing}{% Chapman:1990:DAI% }. \NAMECITE{Implicit}{% Dingel:1998:TFT% }. \NAMECITE{impredicative}{% Bucci:1993:EIS% }. \NAMECITE{Improved}{% Subramani:2013:IAO% }. \NAMECITE{improvement}{% Schneider:2018:MBP% }. \NAMECITE{Improving}{% Faitelson:2017:IDD% }. \NAMECITE{Inadequate}{% Plotkin:2002:TIM% }. \NAMECITE{incompleteness}{% Giacobazzi:2017:MIO% }. \NAMECITE{Inconsistent}{% Henson:1998:SLZ% }. \NAMECITE{Incremental}{% Abrial:2003:MPI,% Hesselink:1999:VID,% Schrammel:2017:IBM,% Bradley:2008:PDI,% Butler:2008:IDM,% Damiani:2014:VTI,% Molnar:2016:CWI,% Russinoff:1994:MVI% }. \NAMECITE{independent}{% Ciobaca:2016:LIP% }. \NAMECITE{induction}{% Davies:1993:RIR,% Hennicker:1991:CIP,% Owe:1991:GIO,% Ta:2019:AMI% }. \NAMECITE{Inductive}{% Bella:2014:ISC,% Dybjer:1994:IF,% Michaelson:2019:BRB,% Ceska:2021:CGI,% Damgaard:2013:ICM,% Li:2013:IAS,% Parent-Vigouroux:1997:VPC% }. \NAMECITE{industrial}{% Feo-Arenis:2016:RTE,% Mota:2015:MCC% }. \NAMECITE{Industry}{% Bowen:2020:BRG% }. \NAMECITE{Inequations}{% Kondoh:2003:ADT% }. \NAMECITE{Inference}{% Minamide:1994:SAB,% Palsberg:1997:TIN,% Stoddart:1993:TIS% }. \NAMECITE{Inferring}{% Jin:2021:ISN% }. \NAMECITE{Infinite}{% Stannett:1994:ICS,% Butler:1995:ASU% }. \NAMECITE{Informatics}{% Michaelson:2019:BRB% }. \NAMECITE{Information}{% Yang:2011:IGB,% Baumann:1991:TSB,% Biondi:2019:HSE,% Castellani:2016:SAS,% Chane-Yack-Fa:2018:PVM,% Mammar:2015:PBV% }. \NAMECITE{infrastructure}{% Luteberget:2021:DSF% }. \NAMECITE{infusion}{% Ruksenas:2014:CHE% }. \NAMECITE{inherent}{% Runde:2013:RCS% }. \NAMECITE{inheritance}{% Chen:2013:SIU,% Cusack:1991:RCI,% Lin:1990:MMI% }. \NAMECITE{initial}{% Baier:1997:CBI,% Meseguer:2017:EFP% }. \NAMECITE{Injection}{% Rashid:2020:FVR% }. \NAMECITE{input}{% Paiva:2016:GCT% }. \NAMECITE{input/output}{% Paiva:2016:GCT% }. \NAMECITE{inspired}{% Bornat:2009:PLC% }. \NAMECITE{Institution}{% Goguen:2002:IM% }. \NAMECITE{institutions}{% Hennicker:2021:HDL,% Madeira:2015:RHI% }. \NAMECITE{instruction}{% Wright:2011:UEB% }. \NAMECITE{Integer}{% Glesner:2006:FIC,% Weidmann:2021:SCC% }. \NAMECITE{Integrated}{% Boiten:2005:GEI,% Suhl:2002:OIF,% Lopez:2004:IFP% }. \NAMECITE{Integrating}{% He:1990:IPT,% Moller:2008:IFM,% Tarasyuk:2015:ISR,% Banks:2014:ICF% }. \NAMECITE{Integration}{% Bicarregui:1998:IIT,% Carr:2004:IUV,% Castagna:1996:IPA,% Foster:2021:IFP,% Paige:1998:HNP,% Banach:2011:REB,% Ehrig:2010:CIM,% Ipate:2016:UIC% }. \NAMECITE{intelligence}{% Yang:2021:EAI% }. \NAMECITE{Intensional}{% Gay:2003:IES% }. \NAMECITE{intensive}{% Cordy:2021:SMC% }. \NAMECITE{Inter}{% Bornat:2010:IPB% }. \NAMECITE{Inter-process}{% Bornat:2010:IPB% }. \NAMECITE{interacting}{% Basuki:2009:MCU,% Charlton:2007:PVI% }. \NAMECITE{Interaction}{% Duke:1999:FCA,% Curzon:2007:AFV,% Dix:2009:PMD% }. \NAMECITE{interactions}{% Barbanera:2016:RCS% }. \NAMECITE{Interactive}{% Butterworth:2000:DCP,% Evans:2007:ITS,% Ireland:1999:IPC,% Marmsoler:2019:IVA,% Zhang:2021:IPH,% Su:2009:PAM% }. \NAMECITE{interconnection}{% Soparkar:1990:ICH% }. \NAMECITE{interest}{% Misra:2012:SVS% }. \NAMECITE{Interface}{% Bhaduri:2008:ISP,% Bornat:1999:MGU,% Duke:1999:CSS,% Goguen:1999:SSA,% Leavens:1998:PIS,% Siekmann:1999:LUI,% Banach:2014:CKA,% Bowen:2009:RUI,% Graf:1996:CMF,% Hayes:1995:SIS% }. \NAMECITE{Interfaces}{% Staples:2000:IRR% }. \NAMECITE{interference}{% Hoang:2014:ANI,% Kammuller:2008:FNI% }. \NAMECITE{Interleaving}{% Kreowski:1999:GTU,% Bergstra:2007:TAS,% Kwiatkowska:1989:EFN,% Moszkowski:2017:ATP% }. \NAMECITE{Interlocking}{% Boralv:1998:CSF,% Cimatti:1998:FVR,% Geisler:2021:SDM,% Peleska:2021:EDV% }. \NAMECITE{Internal}{% Boiten:2009:RCR,% Derrick:1998:SRI,% Butler:2012:EIC% }. \NAMECITE{{Internet}}{% Bernardo:1998:FPM% }. \NAMECITE{interoperability}{% Bao:2018:USL% }. \NAMECITE{interoperating}{% Reed:2004:RIC% }. \NAMECITE{interpretation}{% Comini:2017:PAF% }. \NAMECITE{interpretations}{% Lescanne:1995:TRS% }. \NAMECITE{interpreters}{% Huntbach:1989:MIP% }. \NAMECITE{Interpreting}{% Ladkin:1995:IMF% }. \NAMECITE{interruptions}{% Andrade:2012:TIR% }. \NAMECITE{intersection}{% Hindley:1992:TII% }. \NAMECITE{Interval}{% Boucheneb:2008:ITC,% Santiago:2006:FAC% }. \NAMECITE{intransitive}{% Eggert:2017:DIN,% vanderMeyden:2012:ARN% }. \NAMECITE{Introducing}{% Boiten:2014:IEO% }. \NAMECITE{Introduction}{% Maharaj:2003:ITI,% Pettorossi:2002:LIS,% Smith:2002:IRT,% Barringer:1995:MI,% Hindley:1992:TII% }. \NAMECITE{Invariance}{% Pitt:2002:LI,% Bouyer:2012:TIF% }. \NAMECITE{Invariant}{% Back:2009:IBP,% Mooij:2010:IBR,% Preoteasa:2012:IDD,% Billington:1996:CIG,% Bradley:2008:PDI,% Lin:2019:AEB% }. \NAMECITE{Invariant-based}{% Mooij:2010:IBR% }. \NAMECITE{Invariants}{% Ronn:1996:ICT,% Sistla:1999:PVL,% Grinchtein:2008:NIR,% Hoang:2013:SID,% Llano:2014:DIT,% Naumann:2007:ABE,% Rebiha:2015:GIN% }. \NAMECITE{inversion}{% Ross:1997:RPB% }. \NAMECITE{inverted}{% Zucker:1996:TNI% }. \NAMECITE{Investigating}{% Bicarregui:1998:IIT,% Jones:2019:ILR% }. \NAMECITE{investigation}{% Brebner:1993:CBI% }. \NAMECITE{Invocation}{% Dingel:1998:TFT% }. \NAMECITE{{IPv6}}{% Jackson:1999:NAM% }. \NAMECITE{{Isabelle}}{% Aransay:2016:FCE,% Foster:2021:IFP,% Hallerstede:2018:BRT,% Li:2015:FPA,% Nipkow:1989:TRB,% Paulson:2019:LIH% }. \NAMECITE{{Isabelle/HOL}}{% Aransay:2016:FCE,% Hallerstede:2018:BRT,% Li:2015:FPA,% Paulson:2019:LIH% }. \NAMECITE{{Isabelle/SACM}}{% Foster:2021:IFP% }. \NAMECITE{ISBN}{% Banach:2019:BRJ,% Bowen:2018:BRE,% Hallerstede:2018:BRT,% Jones:2017:BRT,% Monahan:2018:BRD% }. \NAMECITE{isolated}{% Banach:2010:AAT% }. \NAMECITE{Issue}{% Boiten:2006:GEE,% Cooke:2007:EVS% }. \NAMECITE{Issues}{% America:1989:IDP% }. \NAMECITE{iterative}{% Menghi:2019:VDF% }. \NAMECITE{{ITSEC}}{% Woodcock:2008:CME% }. \NAMECITE{J}{% Anonymous:2017:MJC% }. \NAMECITE{Jack}{% Jones:2017:BRT% }. \NAMECITE{{Jacobian}}{% Shi:2018:FAK% }. \NAMECITE{{Jan}}{% Dijkstra:1994:JVS,% Hofstee:1995:JVS% }. \NAMECITE{January}{% Anonymous:2010:RMJ,% Jones:2017:BRT% }. \NAMECITE{{Jape}}{% Bornat:1999:MGU% }. \NAMECITE{{Java}}{% Cavalcanti:2013:SCJ,% Chawdhary:2017:PES,% Moller:2008:IFM,% Smans:2010:AVJ,% Zhuo:2020:TEP% }. \NAMECITE{{JavaSPI}}{% Sisto:2018:FSI% }. \NAMECITE{{John}}{% Banach:2019:BRJ,% Bjorner:2008:JWB,% Jones:2012:JM% }. \NAMECITE{Jonathan}{% Jones:2017:BRT% }. \NAMECITE{June}{% Bornat:2009:PLC% }. \NAMECITE{{K-Putput}}{% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{{Kaisa}}{% Petre:2014:KSM% }. \NAMECITE{{Kalman}}{% Evangelidis:2021:QVK% }. \NAMECITE{{KAOS}}{% Banach:2014:CKA% }. \NAMECITE{kernel}{% Daum:2014:CUU% }. \NAMECITE{kinematic}{% Shi:2018:FAK% }. \NAMECITE{{KIV}}{% Haneberg:2008:VME% }. \NAMECITE{{Kleene}}{% Hofner:2012:DFW% }. \NAMECITE{Klein}{% Hallerstede:2018:BRT% }. \NAMECITE{{Knaster}}{% Jonker:1998:KTR% }. \NAMECITE{knowledge}{% Bertolotti:2008:ERA% }. \NAMECITE{{Kobayashi}}{% deGroote:1998:NKY% }. \NAMECITE{Kroening}{% Monahan:2018:BRD% }. \NAMECITE{L}{% Dijkstra:1994:JVS,% Hofstee:1995:JVS,% Siekmann:1999:LUI% }. \NAMECITE{labeled}{% Bouneb:2015:RML% }. \NAMECITE{{Lambda}}{% Fokker:1992:SCO,% Loreti:2021:SPL% }. \NAMECITE{{Lamport}}{% Engelhardt:1995:TPA% }. \NAMECITE{{Landin}}{% Bornat:2009:PLC% }. \NAMECITE{lane}{% Bochmann:2017:SVC% }. \NAMECITE{Language}{% Bos:2003:RSE,% Davies:2003:CRU,% Fathabadi:2015:LTS,% Oliveira:2003:ATL,% Paynter:2000:AAD,% Popplestone:2002:PBS,% Tenzer:2006:MRC,% deLara:2021:LFE,% America:1989:IDP,% America:1992:LSP,% Beckert:2005:RRP,% Broy:1991:TFF,% Carvalho:2016:MTR,% Ciobaca:2016:LIP,% Colvin:2017:DSM,% Corrodi:2018:SCW,% George:1992:NDS,% Hense:1993:DSO,% Jing:2018:CTM,% Kammuller:2008:FNI,% Middelburg:1989:VLS,% Nielsen:1989:RLM,% Nishimura:1997:SFL,% Wu:2014:FRD,% Zhu:2015:DSA% }. \NAMECITE{language-independent}{% Ciobaca:2016:LIP% }. \NAMECITE{Languages}{% Anderson:1998:DPA,% Hayes:1998:EPS,% Breu:1996:ASF,% Duran:2010:AAD,% Hesselink:2010:SEL,% Mosses:2011:VSP,% Stoddart:1993:TIS,% Wilhelm:2021:FPL,% deLara:2010:ATB% }. \NAMECITE{large}{% Leuschel:2011:APV,% Mizera:2019:GAS% }. \NAMECITE{Larsen}{% Banach:2019:BRJ% }. \NAMECITE{Late}{% Fecher:2006:ARA% }. \NAMECITE{lattice}{% Boudriga:1992:LSA% }. \NAMECITE{law}{% Cavalcanti:2011:CLD,% Hedberg:1991:NAL% }. \NAMECITE{Laws}{% Zeyda:2015:LMB% }. \NAMECITE{layer}{% Brown:2011:AVR% }. \NAMECITE{Layered}{% Swaminathan:2012:LRR,% America:1992:LSP,% Herzberg:2005:MLD% }. \NAMECITE{layers}{% Botaschanjan:2008:CUL,% Jones:2011:ECA% }. \NAMECITE{lazy}{% Wahl:2010:LAS% }. \NAMECITE{{LCF}}{% Paulson:2019:LIH% }. \NAMECITE{Learning}{% Zhao:2021:LSN,% Bu:2021:MLS,% Cassel:2016:ALE,% Kirwan:2016:MCL,% Tappler:2021:BLM,% Tsay:2009:TSL% }. \NAMECITE{Least}{% Mahony:1999:LCR% }. \NAMECITE{Legislation}{% Williams:2020:LDD% }. \NAMECITE{Legislation-driven}{% Williams:2020:LDD% }. \NAMECITE{length}{% El-Fakih:2018:ADT,% Subramani:2013:IAO% }. \NAMECITE{lengths}{% Jourdan:2010:LBL% }. \NAMECITE{lenses}{% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{lessons}{% Ehmety:2005:MCR% }. \NAMECITE{Level}{% Woodcock:2008:CME,% Staples:1994:FLH,% Zhu:2015:DSA,% deLara:2021:LFE% }. \NAMECITE{libraries}{% Bientinesi:2013:DDL% }. \NAMECITE{library}{% Polikarpova:2018:FVC% }. \NAMECITE{lifted}{% Dimovski:2019:FSV% }. \NAMECITE{Light}{% Rashid:2020:FVR% }. \NAMECITE{Limits}{% Kneuper:1997:LFM,% Jones:2019:ILR,% Murray:2013:LRT% }. \NAMECITE{line}{% Sampath:2014:ETP% }. \NAMECITE{Linear}{% Leifer:2002:SLA,% Lermer:2003:LAE,% Sistla:1999:PVL,% Weidmann:2021:SCC,% deGroote:1998:NKY,% Arthan:2013:HLL,% Bientinesi:2013:DDL,% Boucheneb:2008:ITC,% Carmo:1990:BVL,% Ceska:2007:GMP,% Fisher:1992:MCL,% Fu:2013:SLS,% Hesselink:1990:AML,% Hoang:2016:FUL,% Kobayashi:1995:ACM,% Liu:2004:UPM,% Macedo:2015:LAA,% Oliveira:2012:TLA,% Rebiha:2015:GIN,% Tsay:2009:TSL,% Xia:2011:SDP% }. \NAMECITE{Linearizability}{% Smith:2020:LHW,% Baumler:2011:PLT,% Jonsson:2012:URC,% Smith:2017:RTR% }. \NAMECITE{Lines}{% deLara:2021:LFE% }. \NAMECITE{linked}{% Ceska:2007:GMP% }. \NAMECITE{Links}{% Mahony:2002:DSL% }. \NAMECITE{Lip}{% Bowman:1998:AVL% }. \NAMECITE{Lip-Synchronisation}{% Bowman:1998:AVL% }. \NAMECITE{{Lisp}}{% Moore:2019:MPL% }. \NAMECITE{List}{% Bird:1993:LP,% Pettorossi:2002:LIS,% Krogdahl:1997:VDL% }. \NAMECITE{literate}{% Simons:1996:ALS% }. \NAMECITE{liveness}{% Sistla:1994:SLF,% Tan:2021:AAE% }. \NAMECITE{load}{% Ruksenas:2009:VGM% }. \NAMECITE{Local}{% Hesselink:1999:PTR,% Pitt:2002:LI,% Antonino:2019:EVC,% Chandy:2011:VDS,% Houston:1994:SDC% }. \NAMECITE{local-analysis-based}{% Antonino:2019:EVC% }. \NAMECITE{localities}{% Aceto:1994:SVL,% Boudol:1994:TPL% }. \NAMECITE{lock}{% Groves:2009:TBD% }. \NAMECITE{lock-free}{% Groves:2009:TBD% }. \NAMECITE{{L{\"o}f's}}{% Hedberg:1991:NAL% }. \NAMECITE{Logic}{% Abed:2013:AVR,% Cau:2000:CRD,% Henson:1998:SLZ,% Henson:2003:LSB,% King:1999:SLZ,% Kleymann:1999:HLA,% Martin:2000:RZF,% Pettorossi:2002:LIS,% Verdejo:2003:SVT,% Zhou:1996:CVR,% deGroote:1998:NKY,% Apt:2019:FYH,% Arias:2017:CLP,% Arthan:2013:HLL,% Back:1990:RCF,% Bao:2018:USL,% Barua:2004:CCN,% Baumler:2011:PLT,% Bornat:2010:IPB,% Coenen:1995:HLV,% Collinson:2010:ALA,% Collinson:2010:EAL,% Derrick:2012:TLP,% Drabent:2017:PCL,% Fisher:1992:MCL,% Fu:2017:OSR,% Groote:1994:PAG,% Hansson:1994:LRA,% He:1990:IPT,% Hennicker:2021:HDL,% Henson:1999:RZPa,% Henson:2006:SL,% Hesselink:1990:AML,% Hoang:2016:FUL,% Holmstrom:1989:RCS,% Hooman:1994:EHL,% Kobayashi:1995:ACM,% Liu:2004:UPM,% Lowe:2008:SCP,% Miller:2017:PCL,% Mossakowski:2010:GCD,% Nickolas:1994:CFL,% Pettorossi:2012:CBC,% Pym:2006:CLR,% Sanders:1991:ESA,% Scholefield:1996:RTR,% Seki:2017:DPC,% Sistla:1994:SLF,% Staples:1994:FLH,% Ta:2019:AMI,% Thompson:1989:LM,% Thompson:1995:LMR,% Tsay:2009:TSL,% Beckert:2013:DLD% }. \NAMECITE{Logical}{% Chalin:2007:LFV,% Hansen:1997:DCL,% Alencar:1996:LFE,% Dierks:2004:CMC,% Henson:1999:RZPb,% Ross:1997:RPB,% Knapp:2020:BRA% }. \NAMECITE{logics}{% Carmo:1990:BVL,% Gaina:2017:BSC,% Gorogiannis:2007:MRSa,% Gorogiannis:2007:MRSb,% Gorogiannis:2007:MRSc,% Owe:1993:PLR,% Sotudeh:2015:AAF% }. \NAMECITE{long}{% Lamport:1994:HWL% }. \NAMECITE{looking}{% Lechenet:2018:CBB% }. \NAMECITE{Loop}{% Romijn:2003:FLD,% Billington:1996:CIG% }. \NAMECITE{loops}{% Kroening:2010:VFP,% Rebiha:2015:GIN% }. \NAMECITE{{Lord}}{% Harel:2010:APG% }. \NAMECITE{lost}{% Liu:2019:RAT% }. \NAMECITE{{LOTOS}}{% Bowman:1999:ACB,% Lang:2010:TFL,% Leonard:1998:FDT,% Miguel:1993:LEP,% Valmari:1995:CFB% }. \NAMECITE{Lovely}{% Siekmann:1999:LUI% }. \NAMECITE{low}{% Bisgaard:2019:BAS% }. \NAMECITE{Lower}{% Jourdan:2010:LBL% }. \NAMECITE{{LTL}}{% Li:2018:ETS,% Molnar:2016:CWI% }. \NAMECITE{{Lustre}}{% Tini:2004:TCC% }. \NAMECITE{M}{% Konnov:2019:BRE% }. \NAMECITE{Machine}{% Bevier:1992:MCP,% Bu:2021:MLS,% Cowling:2000:SWU,% Dissoubray:2000:DAT,% Hierons:2000:TCQ,% Arias:2017:CLP,% Hierons:2008:TDI,% Ipate:2002:TCC,% Ipate:2004:CDS,% Ipate:2016:UIC,% Stannett:1990:XMH% }. \NAMECITE{Machines}{% Balanescu:2000:GSX,% Diehl:2000:NSD,% Gheorghe:2000:GSX,% Holcombe:2000:WXM,% Ipate:2000:GTS,% Andre:2016:FCU,% Bogdanov:2006:TMX,% Bouyer:2012:TIF,% Cassel:2016:ALE,% El-Fakih:2018:ADT,% Fassbender:1992:ISD,% Gleirscher:2021:RDA,% Qin:1991:FFS,% Schneider:2005:CTC,% Stannett:1990:XMH% }. \NAMECITE{Macintosh{\TM}}{% Burton:1989:SAM% }. \NAMECITE{mail}{% Brebner:1993:CBI% }. \NAMECITE{maintenance}{% Lentfert:1993:DMM% }. \NAMECITE{malware}{% Chawdhary:2017:PES% }. \NAMECITE{Management}{% Stunkel:2021:CSF,% Weidmann:2021:SCC,% Norman:2005:UPM% }. \NAMECITE{manager}{% Burton:1989:SAM% }. \NAMECITE{maneuvers}{% Bochmann:2017:SVC% }. \NAMECITE{Manifest}{% Bjorner:2017:MDA% }. \NAMECITE{manipulating}{% Leino:2012:SRH% }. \NAMECITE{{Manna}}{% Dershowitz:2019:ZM,% Scholefield:1996:RTR% }. \NAMECITE{{MapReduce}}{% Emoto:2012:FES% }. \NAMECITE{Marcel}{% Banach:2019:BRJ% }. \NAMECITE{March}{% Anonymous:2010:RMJ,% Bjorner:2008:JWB% }. \NAMECITE{Marek}{% Tarlecki:2014:WMT% }. \NAMECITE{Mark}{% Jones:2017:BRT,% Moore:1994:FMA,% Vaandrager:2006:ABM% }. \NAMECITE{{Markov}}{% Hatefi:2017:CVT,% Tappler:2021:BLM% }. \NAMECITE{{Martin}}{% Hedberg:1991:NAL% }. \NAMECITE{{Martin-L{\"o}f's}}{% Hedberg:1991:NAL% }. \NAMECITE{Matching}{% Chalin:2007:LFV,% Damgaard:2013:ICM,% Jancik:2017:PSM,% Partsch:1990:FPM% }. \NAMECITE{mathematical}{% Seldin:1992:CCC,% Michaelson:2019:BRB% }. \NAMECITE{mathematics}{% Back:2010:SDU% }. \NAMECITE{{MATLAB}}{% Wiik:2016:CBV% }. \NAMECITE{{MATLAB}-style}{% Wiik:2016:CBV% }. \NAMECITE{matrices}{% Yamagata:2014:FSE% }. \NAMECITE{matrix}{% Aransay:2016:FCE,% Wiik:2016:CBV% }. \NAMECITE{{Maude}}{% Riesco:2017:MEC% }. \NAMECITE{Maximal}{% Giacobazzi:2017:MIO,% Boulgakov:2016:CMW% }. \NAMECITE{maximality}{% Bouneb:2015:RML% }. \NAMECITE{Maximally}{% Joshi:2000:MCP% }. \NAMECITE{maximum}{% Lentfert:1993:DMM% }. \NAMECITE{may}{% Georgievska:2012:PMM% }. \NAMECITE{may/must}{% Georgievska:2012:PMM% }. \NAMECITE{{{MC}}}{% Vilkomir:2006:MDR% }. \NAMECITE{{{MC/}}}{% Vilkomir:2006:MDR% }. \NAMECITE{{McCarthy}}{% Jones:2012:JM% }. \NAMECITE{{mCRL2}}{% Kokash:2012:RMF% }. \NAMECITE{{MDESL}}{% Sheng:2020:TPA% }. \NAMECITE{{MDFAs}}{% Subramani:2006:AAS% }. \NAMECITE{mealy}{% Paiva:2016:GCT% }. \NAMECITE{Measure}{% Cavezza:2021:WMG% }. \NAMECITE{measurement}{% Hayes:1995:UUM,% Jing:2018:CTM% }. \NAMECITE{mechanical}{% Back:2005:ATP,% Banach:2013:MGFa,% Banach:2013:MGFb,% Hesselink:1997:MPS,% Hesselink:1997:TMP% }. \NAMECITE{Mechanically}{% Abrial:2003:MPI,% Moore:1994:FMA,% Russinoff:1994:MVI% }. \NAMECITE{Mechanised}{% Zeyda:2012:MSS% }. \NAMECITE{Mechanising}{% Freitas:2008:MMZ% }. \NAMECITE{Mechanism}{% Bernardo:1998:FPM,% Huang:2020:MVT,% Paynter:2004:RMB% }. \NAMECITE{Mechanized}{% Derrick:2018:MPO,% Nipkow:1998:WAR% }. \NAMECITE{Mechanizing}{% Ehmety:2005:MCR% }. \NAMECITE{{Meertens}}{% Gorlatch:1995:PDC% }. \NAMECITE{Meet}{% Broy:2003:EWT,% Hofner:2012:DFW% }. \NAMECITE{{MEGA}}{% Siekmann:1999:LUI% }. \NAMECITE{membranes}{% Barbuti:2008:BCM% }. \NAMECITE{Memoirs}{% Rydeheard:2002:CPM% }. \NAMECITE{Memoriam}{% Petre:2014:KSM,% Jones:2015:MPH% }. \NAMECITE{memory}{% Cavalcanti:2013:SCJ,% Doherty:2013:TFS,% Hayes:2019:SPA,% Seidel:1996:SDV,% Smith:2020:LHW% }. \NAMECITE{Message}{% Krogdahl:2002:VPM,% Ladkin:1995:IMF,% Hennessy:1996:PSM% }. \NAMECITE{Message-Passing}{% Krogdahl:2002:VPM,% Hennessy:1996:PSM% }. \NAMECITE{messaging}{% Konur:2014:FVP% }. \NAMECITE{Meta}{% Huntbach:1989:MIP,% Ehrig:2010:CIM,% Weber:1993:DBP% }. \NAMECITE{meta-calculus}{% Weber:1993:DBP% }. \NAMECITE{Meta-interpreters}{% Huntbach:1989:MIP% }. \NAMECITE{metadata}{% Oliveira:2016:RDC% }. \NAMECITE{metamodelling}{% Rossini:2014:FDM% }. \NAMECITE{metastability}{% Paynter:2004:RMB% }. \NAMECITE{{MetateM}}{% Barringer:1995:MI% }. \NAMECITE{Method}{% Borger:2003:ARM,% Paige:1998:HNP,% Bagnara:2005:NCC,% Banks:2014:ICF,% Derrick:2021:VCP,% Engelhardt:1995:TPA,% Leino:1995:MSP,% Moller:2008:IFM,% Nielsen:1989:RLM,% Ramananandro:2008:MEP,% Xu:1997:RGM,% Zhuo:2020:TEP% }. \NAMECITE{methodologies}{% Liu:2004:UPM% }. \NAMECITE{Methodology}{% Arias:2001:SMF,% Boudriga:1992:LSA,% Dixit:2014:TBC,% Jutla:1997:MDP,% Masalagiu:2009:RMS% }. \NAMECITE{Methods}{% Bicarregui:1998:IIT,% Boiten:2005:GEI,% Bowen:2020:BRG,% Duce:1999:CFS,% Fitzgerald:2004:FME,% Stoelinga:2003:FFC,% Wing:2000:FWC,% Bogdanov:2006:TMX,% Caswell:1997:EFS,% Haigh:2019:APF,% Kneuper:1997:LFM,% Larsen:2009:POC,% Luteberget:2021:DSF,% Rebiha:2015:GIN,% Thomas:1989:DMT,% Williams:1993:ADP% }. \NAMECITE{Metric}{% Stannett:1994:ICS,% Baier:1997:CBI% }. \NAMECITE{metrics}{% Zhang:2018:FVQ% }. \NAMECITE{{Mexitl}}{% Bowman:1999:ACB% }. \NAMECITE{Michael}{% Michaelson:2019:BRB,% Paterson:1990:OPD,% Anonymous:2017:MJC% }. \NAMECITE{{Michel}}{% vanLamsweerde:2011:HHR% }. \NAMECITE{Microprocessors}{% Fox:2000:AMC% }. \NAMECITE{Milestones}{% Moore:2019:MPL% }. \NAMECITE{Milner}{% Anonymous:2010:RMJ,% Holmstrom:1989:RCS% }. \NAMECITE{Mind}{% Barendregt:2002:ATM% }. \NAMECITE{mini}{% Joshi:2007:MCB% }. \NAMECITE{Minimal}{% Bornat:1999:MGU,% Gorogiannis:2007:MRSa,% Gorogiannis:2007:MRSb,% Gorogiannis:2007:MRSc% }. \NAMECITE{minimisation}{% Graf:1996:CMF% }. \NAMECITE{minimization}{% Cordy:2021:SMC,% Subramani:2006:AAS,% Wissmann:2021:GPR% }. \NAMECITE{{Miranda}}{% Thompson:1989:LM,% Thompson:1995:LMR% }. \NAMECITE{mission}{% Zeyda:2015:LMB% }. \NAMECITE{mission-based}{% Zeyda:2015:LMB% }. \NAMECITE{{ML}}{% Dennis-Jones:1993:CMC,% Kazmierczak:1992:MSS,% MacQueen:2002:SMO,% Whittle:2002:PPF% }. \NAMECITE{mm}{% Banach:2019:BRJ,% Jones:2017:BRT% }. \NAMECITE{Mobile}{% Grosu:2001:SBS,% Braghin:2011:MCB,% Delzanno:2008:RAF,% Orava:1992:AVM,% Xie:2021:PCB,% Jackson:1999:NAM% }. \NAMECITE{mobility}{% Ciobanu:2015:SBS,% Ngondi:2021:DSC% }. \NAMECITE{{{MOBY}}}{% Dierks:2000:MVC% }. \NAMECITE{{{MOBY/}}}{% Dierks:2000:MVC% }. \NAMECITE{modal}{% Gorogiannis:2007:MRSb,% Gorogiannis:2007:MRSc% }. \NAMECITE{Model}{% Bagheri:2016:MDS,% Basile:2021:AAT,% Basuki:2009:MCU,% Bozzano:2021:MBS,% Cimatti:1998:FVR,% Dabaghchian:2015:MCO,% Dams:1998:POR,% Dubslaff:2021:EPM,% Franzle:2004:MCD,% Gerhold:2018:MBT,% Gomez:2013:MCT,% Gunter:2005:MCT,% Hansen:1994:MCD,% Holzmann:2011:MCB,% Kirwan:2016:MCL,% Kwiatkowska:2003:PMC,% Larsen:2000:UVM,% Latella:1999:AVB,% Meyer:2008:MCD,% Montali:2016:MCP,% Mota:2015:MCC,% Perna:2013:MCR,% Schneider:2018:MBP,% Smith:2009:MCA,% Song:2015:MCD,% Stunkel:2021:CSF,% deGroote:1998:NKY,% Braghin:2011:MCB,% Brooke:2007:CME,% Brooke:2009:CAM,% Cavalcanti:2013:SCJ,% Cheng:2015:UFR,% Chrszon:2018:PFO,% Colvin:2017:DSM,% Cordy:2021:SMC,% Derrick:2011:ZTB,% Dierks:2004:CMC,% Diskin:2019:MMS,% Diskin:2020:CMM,% Dobrikov:2016:OPM,% Duke:1996:BMR,% Fiadeiro:2011:AMS,% Fidge:1997:ABF,% Fisher:1992:MCL,% Gallardo:2004:GSP,% Geisler:2021:SDM,% George:2008:SPM,% Gorogiannis:2007:MRSa,% Hamiaz:2016:CCM,% He:2005:EOS,% Howells:2009:CMF,% Huang:2017:CMB,% Jorges:2011:APC,% Kobayashi:1995:ACM,% Kokash:2012:RMF,% Konnov:2019:BRE,% Labbe:2008:SCA,% Lano:2015:FMT,% Lindsay:2012:CSA,% Menghi:2021:TWM,% Molnar:2016:CWI,% Moore:1994:FMA,% Murray:2013:LRT,% Norman:2005:UPM,% Oliveira:1990:RCM,% Ramananandro:2008:MEP,% Santos:2018:ASM,% Schrammel:2017:IBM,% Smith:2006:VDR,% Stewart:2011:PMB,% Stoddart:2013:UPC,% Struber:2018:VBM,% Todd:1995:FME,% dePutter:2018:FVT,% vanderAalst:2010:PCD% }. \NAMECITE{Model-based}{% Bozzano:2021:MBS,% Gerhold:2018:MBT,% Schneider:2018:MBP,% Huang:2017:CMB% }. \NAMECITE{Model-checker}{% Latella:1999:AVB% }. \NAMECITE{Model-checking}{% Basuki:2009:MCU,% Franzle:2004:MCD,% Gomez:2013:MCT,% Hansen:1994:MCD,% Kokash:2012:RMF,% Murray:2013:LRT% }. \NAMECITE{Model-driven}{% Bagheri:2016:MDS% }. \NAMECITE{model-finding}{% Ramananandro:2008:MEP% }. \NAMECITE{model-oriented}{% Oliveira:1990:RCM% }. \NAMECITE{model-to-model}{% dePutter:2018:FVT% }. \NAMECITE{Modeling}{% Davies:2003:CRU,% Herzberg:2005:MLD,% Huang:2020:MVT,% Kuhlmann:2008:MVM,% Rossi:2021:MAC,% Yazid:2015:MEI,% Yousefi:2017:MEV,% Banach:2014:CKA,% Beillahi:2019:MVF,% Chen:2009:FFM,% Flammini:2021:CMR,% Riccobene:2014:FFS,% Yang:2021:EAI,% Bowen:2018:BRE% }. \NAMECITE{Modelling}{% Bernardo:1998:FPM,% Calder:2014:MIC,% Carvalho:2016:MTR,% Dierks:2000:MVC,% Faconti:1998:MVP,% Lin:1990:MMI,% Slotosch:2000:MVA,% Wang:2017:CMV,% Barbuti:2008:BCM,% Bhattacharyya:2017:ECF,% Carr:2004:IUV,% Dix:2009:PMD,% Galpin:2013:HHM,% Jebali:2016:FMV,% Ruksenas:2009:VGM,% Su:2009:PAM,% Tenzer:2006:MRC% }. \NAMECITE{Models}{% Dupuy:2000:MFA,% Fox:2000:AMC,% Plotkin:2002:TIM,% deLara:2021:LFE,% Al-Bataineh:2015:AWC,% Alrajeh:2010:DNZ,% Archibald:2021:TTG,% Bocchi:2010:SPS,% Borger:2007:CAG,% Bostrom:2014:DCP,% DeWulf:2005:AAS,% Ehrig:2010:CIM,% Fraser:2020:CMA,% Hesselink:1990:AML,% John:2013:CVC,% Kobayashi:2019:CPR,% Leuschel:2011:APV,% Massink:2012:SCD,% Nogueira:2014:TGS,% Pironti:2014:SAD,% Sinnig:2011:POS,% Smith:2020:LHW,% Sotudeh:2015:AAF,% Su:2014:ANM,% Valmari:1995:CFB% }. \NAMECITE{modes}{% Apt:1994:RAP% }. \NAMECITE{Modular}{% Bozzano:2021:MBS,% Letan:2021:MVP,% Middelburg:1992:MSV,% Dennis-Jones:1993:CMC% }. \NAMECITE{modularisation}{% Fiadeiro:1992:TTM% }. \NAMECITE{Modularising}{% Kazmierczak:1992:MSS% }. \NAMECITE{Modulated}{% Banach:1999:SRM% }. \NAMECITE{modules}{% Antoniou:1994:VM% }. \NAMECITE{Modulo}{% Kroening:2009:FSM,% Christiansen:2017:PCM% }. \NAMECITE{{MOF}}{% Boronat:2010:ASM% }. \NAMECITE{Monadicity}{% Robinson:2002:VAM% }. \NAMECITE{monads}{% Mosses:2011:VSP% }. \NAMECITE{{Mondex}}{% Butler:2008:IDM,% Freitas:2008:MMZ,% George:2008:SPM,% Haneberg:2008:VME,% Kuhlmann:2008:MVM,% Ramananandro:2008:MEP,% Woodcock:2008:CME% }. \NAMECITE{monitoring}{% Nazarpour:2017:CPS,% Neykova:2017:TRM,% Schneider:2006:TMP% }. \NAMECITE{monotone}{% Chane-Yack-Fa:2018:PVM% }. \NAMECITE{{Moore}}{% Russinoff:1992:VSC,% Weber-Wulff:1993:PMP% }. \NAMECITE{Morphisms}{% Goguen:2002:IM,% Burton:1992:PM% }. \NAMECITE{movie}{% Weber-Wulff:1993:PMP% }. \NAMECITE{{MPSoC}}{% Zhang:2018:FVQ% }. \NAMECITE{{MSCs}}{% Kruger:2004:BM% }. \NAMECITE{{MSVL}}{% Ma:2015:VDS% }. \NAMECITE{Multi}{% Dupuy:2000:MFA,% Stunkel:2021:CSF,% deLara:2021:LFE,% Beckert:2013:DLD,% Bochmann:2017:SVC,% Brebner:1993:CBI,% Brogi:2019:ECM,% Cavarra:2011:DFA,% Ceska:2007:GMP,% Kim:2012:CTM,% Nazarpour:2017:CPS% }. \NAMECITE{multi-agent}{% Cavarra:2011:DFA% }. \NAMECITE{multi-component}{% Brogi:2019:ECM% }. \NAMECITE{Multi-formalism}{% Dupuy:2000:MFA% }. \NAMECITE{multi-lane}{% Bochmann:2017:SVC% }. \NAMECITE{Multi-level}{% deLara:2021:LFE% }. \NAMECITE{Multi-Model}{% Stunkel:2021:CSF% }. \NAMECITE{multi-pattern-based}{% Ceska:2007:GMP% }. \NAMECITE{multi-process}{% Brebner:1993:CBI% }. \NAMECITE{multi-sector}{% Kim:2012:CTM% }. \NAMECITE{multi-threaded}{% Beckert:2013:DLD,% Nazarpour:2017:CPS% }. \NAMECITE{multiary}{% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{multiparty}{% Castellani:2016:SAS,% Ghilezan:2016:DRA,% Neykova:2017:TRM% }. \NAMECITE{Multiple}{% Diskin:2019:MMS,% Lin:1990:MMI,% Diskin:2020:CMM% }. \NAMECITE{Multitraces}{% Shields:1992:MHP% }. \NAMECITE{mural}{% Vadera:1995:PAM% }. \NAMECITE{{MUS}}{% Arias:2001:SMF% }. \NAMECITE{must}{% Georgievska:2012:PMM% }. \NAMECITE{Mutation}{% Aichernig:2003:MTR,% Aichernig:2009:MTU% }. \NAMECITE{mutual}{% Biondi:2019:HSE,% Hesselink:2013:SFM,% Hesselink:2017:TME,% Ta:2019:AMI,% Walker:1989:AAM% }. \NAMECITE{names}{% Montali:2016:MCP% }. \NAMECITE{Natural}{% Diehl:2000:NSD,% Carvalho:2016:MTR,% Dix:2009:PMD% }. \NAMECITE{natural-language}{% Carvalho:2016:MTR% }. \NAMECITE{{NDB}}{% George:1992:NDS% }. \NAMECITE{necessarily}{% Bagnara:2005:NCC% }. \NAMECITE{need}{% Markovski:2012:RRS% }. \NAMECITE{neighbourhood}{% Barua:2004:CCN% }. \NAMECITE{nested}{% Bird:1999:GFN,% Fassbender:1992:ISD,% Martin:2004:DEG% }. \NAMECITE{nested-stack}{% Fassbender:1992:ISD% }. \NAMECITE{Net}{% Badouel:2002:DFA,% Genrich:2002:DQN,% Boucheneb:2008:ITC,% Devillers:2008:CPN,% Dong:2019:EPN,% Kindler:1997:PNB,% Pomello:1992:ACE% }. \NAMECITE{nets}{% Andre:2016:FCU,% Best:1990:POB,% Best:1992:CGH,% Bouneb:2015:RML,% Eshuis:2013:SPN,% He:1990:IPT,% Montali:2016:MCP,% Soparkar:1990:ICH,% vanderAalst:2011:SWN% }. \NAMECITE{Network}{% Grinchtein:2008:NIR,% Orava:1992:AVM,% Zhao:2021:LSN% }. \NAMECITE{Networks}{% Flammini:2021:CMR,% Paynter:2000:AAD,% Sistla:1999:PVL,% Yang:2021:ERV,% Ahmad:2020:FRF,% Archibald:2021:TTG,% Codish:2017:OSA,% Elleuch:2015:FPA,% John:2013:CVC,% Lang:2010:TFL,% Merro:2013:CTA,% Mizera:2019:GAS,% Song:2015:MCD,% Stolen:1996:SRN,% Tran:2021:VPD,% Yousefi:2017:MEV% }. \NAMECITE{Neural}{% Yang:2021:ERV,% Tran:2021:VPD,% Zhao:2021:LSN% }. \NAMECITE{neurobiological}{% Su:2014:ANM% }. \NAMECITE{{NewThink}}{% Mukherjee:1995:TOS% }. \NAMECITE{Nipkow}{% Hallerstede:2018:BRT% }. \NAMECITE{Nitpick}{% Jackson:1999:NAM% }. \NAMECITE{nominal}{% Gabbay:2008:CAS% }. \NAMECITE{Non}{% Hierons:2000:TCQ,% Ipate:2000:GTS,% Alrajeh:2010:DNZ,% Barrett:1991:FPT,% Bornat:2013:ETN,% Filieri:2012:FAA,% Gurgens:2005:SAE,% Hierons:2008:TDI,% Hoang:2014:ANI,% Kammuller:2008:FNI,% Kwiatkowska:1989:EFN,% Lopes:2004:SCV,% Palsberg:1997:TIN,% Rebiha:2015:GIN% }. \NAMECITE{non-blocking}{% Bornat:2013:ETN% }. \NAMECITE{non-controllable}{% Hierons:2008:TDI% }. \NAMECITE{non-determinism}{% Barrett:1991:FPT% }. \NAMECITE{Non-Deterministic}{% Hierons:2000:TCQ,% Hierons:2008:TDI,% Lopes:2004:SCV% }. \NAMECITE{non-functional}{% Filieri:2012:FAA% }. \NAMECITE{non-interference}{% Hoang:2014:ANI,% Kammuller:2008:FNI% }. \NAMECITE{non-interleaving}{% Kwiatkowska:1989:EFN% }. \NAMECITE{non-linear}{% Rebiha:2015:GIN% }. \NAMECITE{non-repudiation}{% Gurgens:2005:SAE% }. \NAMECITE{non-structural}{% Palsberg:1997:TIN% }. \NAMECITE{non-{Zeno}}{% Alrajeh:2010:DNZ% }. \NAMECITE{Nondeterminacy}{% Morris:1998:PNP% }. \NAMECITE{nondeterminism}{% Butler:1995:ASU,% Cavalcanti:2006:ANU,% Runde:2013:RCS% }. \NAMECITE{nondeterministic}{% El-Fakih:2018:ADT,% Huang:2017:CMB,% Misra:1990:ERA% }. \NAMECITE{noninterference}{% Eggert:2017:DIN,% Morgan:2012:CNF,% Roscoe:2013:CNT,% vanderMeyden:2012:ARN% }. \NAMECITE{Nonlinear}{% Jin:2021:ISN,% Babic:2013:PTN% }. \NAMECITE{normal}{% Zucker:1996:TNI% }. \NAMECITE{Normalising}{% Hedberg:1991:NAL% }. \NAMECITE{Notational}{% Dijkstra:2002:ENC% }. \NAMECITE{Notations}{% Paige:1998:HNP% }. \NAMECITE{Note}{% Landin:2002:RBP,% deGroote:1998:NKY% }. \NAMECITE{notions}{% vanderMeyden:2012:ARN% }. \NAMECITE{novel}{% Polyvyanyy:2015:UNA% }. \NAMECITE{number}{% Gottliebsen:2013:ARN% }. \NAMECITE{{NUT}}{% Kotkas:2000:CPS% }. \NAMECITE{obfuscation}{% Bruni:2018:COA,% Giacobazzi:2017:MIO% }. \NAMECITE{obfuscations}{% Chawdhary:2017:PES% }. \NAMECITE{Obituary}{% Anonymous:2003:O,% Paterson:1990:OPD,% Anonymous:2017:OAL% }. \NAMECITE{Object}{% Back:2000:CRS,% Lieberherr:1994:OEC,% MacQueen:2002:SMO,% America:1989:IDP,% America:1992:LSP,% Breu:1996:ASF,% Colvin:2014:OSO,% Duran:2010:AAD,% Hense:1993:DSO,% Leavens:2007:SVC,% Maung:1995:SSS,% Naumann:2007:ABE,% Paige:2004:EOO,% Zhao:2009:GTO,% Derrick:2002:CCS,% Derrick:2003:SRS,% Mahony:2002:DSL,% Smith:1995:FAS,% Smith:2002:IRT% }. \NAMECITE{Object-extending}{% Lieberherr:1994:OEC% }. \NAMECITE{Object-Oriented}{% MacQueen:2002:SMO,% America:1989:IDP,% America:1992:LSP,% Colvin:2014:OSO,% Duran:2010:AAD,% Hense:1993:DSO,% Leavens:2007:SVC,% Paige:2004:EOO,% Zhao:2009:GTO% }. \NAMECITE{{Object-Z}}{% Derrick:2002:CCS,% Derrick:2003:SRS,% Mahony:2002:DSL,% Smith:1995:FAS,% Smith:2002:IRT% }. \NAMECITE{Objects}{% Faconti:1998:MVP,% Din:2015:CRA,% Duke:1996:BMR,% Heather:2014:CPE,% Johnson:2013:DTS% }. \NAMECITE{obligations}{% Ah-kee:1990:POB,% Hallerstede:2011:PEB% }. \NAMECITE{observable}{% Pomello:1992:ACE% }. \NAMECITE{observational}{% Dabaghchian:2015:MCO,% Qin:1991:FFS% }. \NAMECITE{{OCL}}{% Kuhlmann:2008:MVM% }. \NAMECITE{Ode}{% Kerse:2002:ORB% }. \NAMECITE{Ofer}{% Monahan:2018:BRD% }. \NAMECITE{{OLAP}}{% Macedo:2015:LAA% }. \NAMECITE{Oliver}{% Michaelson:2019:BRB% }. \NAMECITE{one}{% Fokker:1992:SCO% }. \NAMECITE{one-combinator}{% Fokker:1992:SCO% }. \NAMECITE{Online}{% Jones:2004:OFP% }. \NAMECITE{onto}{% Wray:1994:CTD% }. \NAMECITE{Ontologies}{% Dubslaff:2021:EPM% }. \NAMECITE{opacity}{% Derrick:2018:MPO% }. \NAMECITE{operating}{% Ochsenschlager:1998:SVT% }. \NAMECITE{operation}{% Kim:2012:CTM% }. \NAMECITE{Operational}{% Fu:2017:OSR,% Colvin:2014:OSO% }. \NAMECITE{Operations}{% Derrick:1998:SRI,% Boiten:2009:RCR,% Boiten:2014:IEO,% Meseguer:2017:EFP,% Rewitzky:1995:PTP% }. \NAMECITE{operators}{% Hamiaz:2016:CCM,% Prasetya:1994:EUS% }. \NAMECITE{optical}{% Beillahi:2019:MVF,% Siddique:2016:FAG% }. \NAMECITE{Optimal}{% Bacci:2021:ORC,% He:2005:EOS,% Subramani:2013:IAO% }. \NAMECITE{Optimality}{% Santiago:2006:FAC% }. \NAMECITE{Optimising}{% Dobrikov:2016:OPM% }. \NAMECITE{Optimized}{% Jifeng:1994:SVP% }. \NAMECITE{Optimizing}{% Codish:2017:OSA% }. \NAMECITE{orbit}{% Bisgaard:2019:BAS% }. \NAMECITE{orchestration}{% Dong:2014:TVC% }. \NAMECITE{orchestrations}{% Stewart:2013:RAO% }. \NAMECITE{Order}{% Abed:2013:AVR,% Martin:2000:RZF,% Stannett:1994:ICS,% Back:1990:RCF,% Baier:1997:CBI,% Beierle:1996:RTW,% Best:1990:POB,% Castagna:1996:IPA,% Cook:2005:DAH,% Dams:1998:POR,% Dobrikov:2016:OPM,% He:1990:IPT,% Meseguer:2017:EFP,% Naumann:1995:DRC,% Owe:1991:GIO,% Shields:1992:MHP,% Sinnig:2011:POS,% Zhang:2021:IPH% }. \NAMECITE{order-sorted}{% Beierle:1996:RTW,% Meseguer:2017:EFP% }. \NAMECITE{O'Regan}{% Bowen:2020:BRG% }. \NAMECITE{Oriented}{% MacQueen:2002:SMO,% America:1989:IDP,% America:1992:LSP,% Breu:1996:ASF,% Chrszon:2018:PFO,% Colvin:2014:OSO,% Cruz-Filipe:2014:SBS,% Duran:2010:AAD,% Hense:1993:DSO,% Larsen:2009:POC,% Leavens:2007:SVC,% Morgan:1996:ROP,% Oliveira:1990:RCM,% Paige:2004:EOO,% Zhao:2009:GTO% }. \NAMECITE{orthogonal}{% Vu:2007:DOB% }. \NAMECITE{{Orwellian}}{% Mukherjee:1995:TOS% }. \NAMECITE{{OSEK}}{% Huang:2020:MVT% }. \NAMECITE{{OSEK/VDX}}{% Huang:2020:MVT% }. \NAMECITE{other}{% Boulgakov:2016:CMW% }. \NAMECITE{Output}{% Balanescu:2000:GSX,% Paiva:2016:GCT% }. \NAMECITE{outputs}{% Boiten:2009:RCR% }. \NAMECITE{Overtaking}{% Pitt:1999:OAP% }. \NAMECITE{Overview}{% Suhl:2002:OIF% }. \NAMECITE{Oxford}{% Jones:2017:BRT% }. \NAMECITE{{OZ}}{% Wehrheim:2000:DAT% }. \NAMECITE{Packetised}{% Bernardo:1998:FPM% }. \NAMECITE{{pAMN}}{% Schneider:2006:TMP% }. \NAMECITE{Paperback}{% Bowen:2018:BRE,% Jones:2017:BRT% }. \NAMECITE{Papers}{% Rydeheard:2002:CPM,% Boiten:2006:GEE% }. \NAMECITE{paradigm}{% Deutsch:2006:ARA,% Stolen:1996:SRN% }. \NAMECITE{Parallel}{% Dingel:2002:RCS,% Krogdahl:2002:VPM,% America:1989:IDP,% America:1992:LSP,% Howells:2009:CMF,% Jutla:1997:MDP,% Kay:1992:SPB,% Knijnenburg:1997:SCA,% Wray:1994:CTD% }. \NAMECITE{Parallelization}{% Gorlatch:1995:PDC% }. \NAMECITE{Parameterization}{% Zhang:2021:IPH% }. \NAMECITE{Parameterized}{% Chane-Yack-Fa:2018:PVM,% Sistla:1999:PVL,% Mooij:2010:IBR% }. \NAMECITE{Parametric}{% Inverardi:1994:APR,% Lanotte:2007:PPT,% Castagna:1996:IPA,% Hussak:1996:CPR% }. \NAMECITE{Parametrized}{% Korver:1998:FAA% }. \NAMECITE{Paramorphisms}{% Meertens:1992:P% }. \NAMECITE{{Park}}{% Paterson:1990:OPD% }. \NAMECITE{{Parlog}}{% Huntbach:1989:MIP% }. \NAMECITE{part}{% Boiten:2009:RCR,% Derrick:2014:RCR,% Hennessy:2012:EPB,% Henson:1999:RZPa,% Henson:1999:RZPb% }. \NAMECITE{Partial}{% Best:1990:POB,% Chawdhary:2017:PES,% Dams:1998:POR,% Owe:1993:PLR,% Sinnig:2011:POS,% Baier:1997:CBI,% Binkley:2006:FRB,% Bloom:1994:WPT,% Derrick:2014:RCR,% Dobrikov:2016:OPM,% Huntbach:1989:MIP,% Jancik:2017:PSM,% Nys:2017:ACP,% Shields:1992:MHP,% Stewart:2013:RAO% }. \NAMECITE{Partial-order}{% Dams:1998:POR% }. \NAMECITE{Partiality}{% Morris:1998:PNP% }. \NAMECITE{partition}{% Wissmann:2021:GPR% }. \NAMECITE{partitioned}{% Stewart:2011:PMB% }. \NAMECITE{partitioning}{% He:2005:EOS% }. \NAMECITE{partitions}{% Bird:1993:LP% }. \NAMECITE{pass}{% McKeever:2006:PCH% }. \NAMECITE{Passing}{% Krogdahl:2002:VPM,% Nesi:1999:FVP,% Hennessy:1991:PSC,% Hennessy:1993:CPV,% Hennessy:1996:PSM% }. \NAMECITE{patching}{% Lin:2019:AEB% }. \NAMECITE{path}{% Banerjee:2017:DBR% }. \NAMECITE{pattern}{% Banach:2013:AFR,% Ceska:2007:GMP,% Meseguer:2017:EFP,% Partsch:1990:FPM% }. \NAMECITE{patterns}{% Frappier:2014:RPA,% Kim:2009:FDD,% Marmsoler:2019:IVA,% Oliveira:2016:RDC,% Taha:2015:CAB% }. \NAMECITE{{Peirce}}{% Brink:1994:PA% }. \NAMECITE{{PEPA}}{% Hillston:2007:FTP% }. \NAMECITE{Performance}{% Bernardo:1998:FPM,% Calder:2003:USA,% Hallerstede:2004:PAP,% Hillston:2007:FTP,% Lopez:2004:IFP,% Sitaraman:1996:IPC,% Williams:1993:ADP% }. \NAMECITE{Periodic}{% Pitt:1999:OAP% }. \NAMECITE{permission}{% Bagheri:2018:FAD% }. \NAMECITE{permissions}{% Ciobanu:2015:SBS% }. \NAMECITE{Permutation}{% Leino:1999:CPE% }. \NAMECITE{persistent}{% Derrick:2021:VCP% }. \NAMECITE{Personal}{% Landin:2002:RBP,% Haigh:2019:APF% }. \NAMECITE{Perspective}{% Pous:2019:BCE,% Hehner:2011:PP,% Kirchner:2015:FCS% }. \NAMECITE{pervasive}{% Konur:2014:FVP,% Pasqualin:2015:TCA% }. \NAMECITE{Peter}{% Banach:2019:BRJ,% Bornat:2009:PLC% }. \NAMECITE{{Petri}}{% Andre:2016:FCU,% Badouel:2002:DFA,% Best:1990:POB,% Boucheneb:2008:ITC,% Bouneb:2015:RML,% Devillers:2008:CPN,% Dong:2019:EPN,% Eshuis:2013:SPN,% Kindler:1997:PNB,% Montali:2016:MCP% }. \NAMECITE{Phase}{% Calder:2003:USA,% Bonakdarpour:2015:SBT,% Romijn:2003:FLD% }. \NAMECITE{physical}{% Brown:2011:AVR,% Knapp:2020:BRA% }. \NAMECITE{physical-layer}{% Brown:2011:AVR% }. \NAMECITE{Physigrams}{% Dix:2009:PMD% }. \NAMECITE{pi}{% John:2013:CVC% }. \NAMECITE{pi-calculus}{% John:2013:CVC% }. \NAMECITE{piecewise}{% Tran:2021:VPD% }. \NAMECITE{{PIF}}{% Hesselink:1997:MPS% }. \NAMECITE{Place}{% Duce:1999:CFS% }. \NAMECITE{planning}{% Cook:2005:DAH% }. \NAMECITE{platform}{% Kim:2012:CTM% }. \NAMECITE{Platzer}{% Knapp:2020:BRA% }. \NAMECITE{Plausibility}{% Butterworth:2000:DCP% }. \NAMECITE{{PLC}}{% Dierks:2000:MVC% }. \NAMECITE{plugins}{% Charlton:2007:PVI% }. \NAMECITE{{Pnueli}}{% Harel:2010:APG,% Scholefield:1996:RTR% }. \NAMECITE{Point}{% Aaltonen:2000:SCP,% Browne:2000:CPS,% Denvir:2000:CPA,% Dierks:2000:MVC,% Kotkas:2000:CPS,% Barrett:1991:FPT% }. \NAMECITE{pointers}{% Filipovic:2010:BCD% }. \NAMECITE{policy}{% Braghin:2011:MCB,% Nienaltowski:2009:FAC% }. \NAMECITE{poly}{% Bergstra:2011:TAP% }. \NAMECITE{poly-threading}{% Bergstra:2011:TAP% }. \NAMECITE{polyhedra}{% Bagnara:2005:NCC% }. \NAMECITE{polymorphic}{% Beierle:1996:RTW% }. \NAMECITE{polymorphism}{% Castagna:1996:IPA% }. \NAMECITE{polynomial}{% Labbe:2008:SCA% }. \NAMECITE{{POP}}{% Popplestone:2002:PBS% }. \NAMECITE{Portrait}{% Apt:2002:EWD% }. \NAMECITE{Pose}{% Chen:2020:FCP% }. \NAMECITE{position}{% Dutle:2021:FAC% }. \NAMECITE{positioning}{% Basile:2021:AAT% }. \NAMECITE{possibilistic}{% Hoang:2014:ANI% }. \NAMECITE{potency}{% Giacobazzi:2017:MIO% }. \NAMECITE{Power}{% Hayes:1998:EPS,% Zhang:2021:IPH,% Norman:2005:UPM,% Polyvyanyy:2016:EPB,% Rewitzky:1995:PTP,% Roscoe:2005:EPC% }. \NAMECITE{pp}{% Banach:2019:BRJ,% Bowen:2018:BRE,% Hallerstede:2018:BRT,% Jones:2017:BRT,% Monahan:2018:BRD% }. \NAMECITE{Practical}{% Butler:2000:CPA,% Sheng:2020:TPA,% Meyer:2008:MCD,% Zave:2015:PCA% }. \NAMECITE{Practice}{% Broy:2003:EWT,% Larsen:2009:POC,% Fioriti:2016:DPA% }. \NAMECITE{Practice-oriented}{% Larsen:2009:POC% }. \NAMECITE{practitioner}{% Engelhardt:1995:TPA% }. \NAMECITE{{practitioners}}{% Bowen:2018:BRE% }. \NAMECITE{praise}{% Hoare:2012:PA% }. \NAMECITE{pre}{% Tran:2021:VPD% }. \NAMECITE{pre-filter}{% Tran:2021:VPD% }. \NAMECITE{precise}{% Bagheri:2016:MDS,% Zhuo:2020:TEP% }. \NAMECITE{precondition}{% Bonsangue:1994:WPC% }. \NAMECITE{preconditions}{% Lukkien:1992:WPP% }. \NAMECITE{Predicate}{% Hesselink:1999:PTR,% Kang:2007:PDV,% Rewitzky:1995:PTP,% Dijkstra:1997:PTP,% He:1990:IPT,% Kroening:2010:VFP% }. \NAMECITE{predicates}{% Chandy:2011:VDS% }. \NAMECITE{predictive}{% Wang:2011:SPA% }. \NAMECITE{Preface}{% Anonymous:2013:P,% Hofner:2012:P% }. \NAMECITE{prefix}{% Baeten:1994:SCA% }. \NAMECITE{prefixes}{% Baeten:1994:SCA% }. \NAMECITE{prehistory}{% Haigh:2019:APF% }. \NAMECITE{{PREMO}}{% Faconti:1998:MVP% }. \NAMECITE{preorders}{% Deng:2012:CTP% }. \NAMECITE{presence}{% Filipovic:2010:BCD,% Harman:1996:SPP% }. \NAMECITE{preservation}{% Derrick:2012:TLP% }. \NAMECITE{preserved}{% Massart:1993:EAE% }. \NAMECITE{Preserving}{% vanderAalst:2010:PCD,% Boucheneb:2008:ITC,% Kobayashi:2019:CPR,% Nazarpour:2017:CPS,% Taha:2015:CAB% }. \NAMECITE{preset}{% Gunicen:2014:RBP% }. \NAMECITE{Presheaves}{% Vickers:2001:PCS% }. \NAMECITE{Press}{% Jones:2017:BRT% }. \NAMECITE{Presupposition}{% vanEijck:1994:PFC% }. \NAMECITE{prevention}{% Liu:2019:RAT% }. \NAMECITE{Principle}{% Stomp:1994:PSR,% Hennicker:1991:CIP% }. \NAMECITE{principles}{% Armstrong:2016:BPC,% Morgan:2012:CNF% }. \NAMECITE{Priority}{% Smolka:1996:PEP,% Tofts:1994:PPP% }. \NAMECITE{{ProB}}{% Dobrikov:2016:OPM,% Leuschel:2011:APV% }. \NAMECITE{Probabilistic}{% Dubslaff:2021:EPM,% Georgievska:2012:PMM,% Hung:1999:PDC,% Kwiatkowska:2003:PMC,% Kwiatkowska:2012:PVH,% Ceska:2021:CGI,% Chrszon:2018:PFO,% Deng:2012:CTP,% Elleuch:2015:FPA,% Fioriti:2016:DPA,% Gerhold:2018:MBT,% Hallerstede:2004:PAP,% Hennessy:2012:EPB,% Hierons:2012:UST,% Hoang:2014:ANI,% Lanotte:2007:PPT,% Loreti:2021:SPL,% Markovski:2012:RRS,% Meinicke:2010:RAP,% Miguel:1993:LEP,% Mizera:2019:GAS,% Norman:2005:UPM,% Stoddart:2013:UPC% }. \NAMECITE{probabilities}{% Georgievska:2012:PMM,% Tofts:1994:PPP% }. \NAMECITE{Probability}{% Tofts:2000:SAP,% Hehner:2011:PP,% Morgan:1996:ROP,% Smolka:1996:PEP% }. \NAMECITE{Problem}{% Denvir:2000:CPA,% Schneider:2018:MBP,% Stannett:1990:XMH% }. \NAMECITE{Procedure}{% Lermer:2006:PCR,% Back:2005:ATP,% Reynolds:2011:TBD,% Xia:2011:SDP% }. \NAMECITE{Procedures}{% Hesselink:1999:PTR,% Sere:2000:DRR,% Staples:2000:IRR,% Ah-kee:1990:POB,% Hesselink:1993:PRR,% Hesselink:1995:SPR,% Monahan:2018:BRD% }. \NAMECITE{{procedures.org/}}{% Monahan:2018:BRD% }. \NAMECITE{Process}{% Groote:1994:PAG,% Jifeng:1989:PSR,% Su:2009:PAM,% Tofts:2000:SAP,% America:1994:RAD,% Baeten:1991:RTP,% Baeten:1993:RSP,% Baeten:1994:SCA,% Baeten:1996:DTP,% Bezem:1997:FPA,% Bornat:2010:IPB,% Brebner:1993:CBI,% Burns:2007:EPV,% Cattani:2005:RBP,% Hennessy:1996:PSM,% Moller:2008:IFM,% Sherif:2010:PAF,% Xie:2021:PCB,% vanderAalst:2010:PCD% }. \NAMECITE{Processes}{% Gaudel:1998:TAD,% Korver:1998:FAA,% Krogdahl:2002:VPM,% Tofts:1994:PPP,% Zhang:2021:IPH,% Bocchi:2010:SPS,% Boudol:1994:TPL,% Davies:1993:RIR,% Hennessy:1991:PSC,% Hennessy:1993:CPV,% Koutny:1997:TIR,% Lopez:2004:IFP,% Lowe:2008:SCP,% Masalagiu:2009:RMS,% Misra:1990:ERA,% OLeary:1997:VCC,% Owe:1992:ATP,% Ponse:1996:CPB,% Pym:2006:CLR,% Shi:2018:USC,% Tappler:2021:BLM,% Bolton:2006:SFS% }. \NAMECITE{processors}{% Wray:1994:CTD% }. \NAMECITE{producing}{% Luteberget:2021:DSF,% Slind:2007:PPS% }. \NAMECITE{Product}{% deLara:2021:LFE,% Sampath:2014:ETP% }. \NAMECITE{product-line}{% Sampath:2014:ETP% }. \NAMECITE{productivity}{% Fu:2017:OSR% }. \NAMECITE{{ProFeat}}{% Chrszon:2018:PFO% }. \NAMECITE{Professor}{% Anonymous:2017:MJC,% Jones:2015:MPH,% Paterson:1990:OPD% }. \NAMECITE{profiles}{% Polyvyanyy:2016:EPB% }. \NAMECITE{Program}{% Bergstra:2000:PAC,% Burton:1992:PM,% Charlton:2007:PVI,% Henson:1989:PDC,% Henson:2003:LSB,% Lucanu:2015:PEC,% Morris:1998:PNP,% Rewitzky:1998:UFV,% Armstrong:2016:BPC,% Binkley:2006:FRB,% BohorquezV:2010:EUA,% Ciobaca:2016:LIP,% Comini:2017:PAF,% Hallerstede:2012:EPV,% Hayes:2019:SPA,% Hesselink:1990:CAR,% Pettorossi:2012:CBC,% Sannella:1997:ECA,% Schreiner:2009:RPP% }. \NAMECITE{Programming}{% Dingel:2002:RCS,% Popplestone:2002:PBS,% Weidmann:2021:SCC,% Arias:2017:CLP,% Back:2009:IBP,% Beckert:2005:RRP,% Betin-Can:2007:HDC,% Cavalcanti:2006:ANU,% Chen:2013:SIU,% Corrodi:2018:SCW,% Cruz-Filipe:2014:SBS,% Dennis-Jones:1993:CMC,% Dybjer:1989:FPA,% Emoto:2012:FES,% Fassbender:1992:ISD,% Hense:1993:DSO,% Miller:2017:PCL,% Mosses:2011:VSP,% Oliveira:2012:TLA,% Seki:2017:DPC,% Stewart:2011:PMB,% Wilhelm:2021:FPL,% Zeyda:2015:LMB% }. \NAMECITE{Programs}{% Chandy:1994:PCP,% Gay:2003:IES,% Jifeng:2003:AFD,% Joshi:2000:MCP,% Pettorossi:2002:LIS,% Roux:1999:HVR,% Whittle:2002:PPF,% Apt:1994:RAP,% Beckert:2013:DLD,% Bostrom:2014:DCP,% Ceska:2007:GMP,% Chaudhari:2017:APT,% Daum:2014:CUU,% Dongol:2008:SPB,% Dongol:2014:RAG,% Drabent:2017:PCL,% Harman:1996:SPP,% Hesselink:1997:TMP,% Jutla:1997:MDP,% Kroening:2010:VFP,% Leavens:2007:SVC,% Lengauer:1990:PSP,% Letan:2021:MVP,% Liu:1992:TPF,% Liu:1995:VSR,% Meinicke:2010:RAP,% Naumann:1995:DRC,% Parent-Vigouroux:1997:VPC,% Ross:1997:RPB,% Russinoff:1992:VSC,% Seki:2017:DPC,% Smans:2010:AVJ,% Wang:2011:SPA,% Wiik:2016:CBV,% Xia:2011:SDP,% Xu:1997:RGM,% Ying:2019:TAV% }. \NAMECITE{Progress}{% Costa:1995:PAC,% Sitaraman:2011:BPB,% Dijkstra:1997:PTP,% Dongol:2008:SPB,% Hesselink:1995:SPR,% Leino:1995:MSP,% Lukkien:1992:WPP% }. \NAMECITE{progress-based}{% Dongol:2008:SPB% }. \NAMECITE{projection}{% Lengauer:1990:PSP,% Moszkowski:2017:ATP% }. \NAMECITE{{Prolog}}{% Apt:1994:RAP% }. \NAMECITE{{PROMELA}}{% Dabaghchian:2015:MCO,% Gallardo:2004:GSP,% Kirwan:2016:MCL% }. \NAMECITE{Promotion}{% Mahony:1999:LCR% }. \NAMECITE{prone}{% Yazid:2015:MEI% }. \NAMECITE{Proof}{% Ah-kee:1990:POB,% Anderson:1998:DPA,% Audebaud:1999:DPR,% Bornat:1999:MGU,% Foster:2021:IFP,% Hennessy:1996:PSM,% Hesselink:1993:PRR,% Ireland:1999:IPC,% Mammar:2015:PBV,% Miller:2017:PCL,% Slind:2007:PPS,% Vadera:1995:PAM,% Weber-Wulff:1993:PMP,% Alagar:1991:FSP,% Back:1997:SCP,% Back:2010:SDU,% Beierle:1996:SCP,% Cavalcanti:2014:TDG,% Ciobaca:2016:LIP,% Cook:2005:DAH,% Damiani:2014:VTI,% George:2008:SPM,% Hallerstede:2011:PEB,% Hennessy:1991:PSC,% Hennicker:1991:CIP,% Hesselink:1997:MPS,% Hesselink:2004:APC,% Jutla:1997:MDP,% Lin:2019:AEB,% Liu:2004:UPM,% Mizuno:1992:SFC,% Petiot:2018:HTH,% Seldin:1992:CCC,% Ta:2019:AMI% }. \NAMECITE{Proof-based}{% Mammar:2015:PBV% }. \NAMECITE{{ProofNavigator}}{% Schreiner:2009:RPP% }. \NAMECITE{{ProofPower}}{% Oliveira:2013:UTP% }. \NAMECITE{{ProofPower-Z}}{% Oliveira:2013:UTP% }. \NAMECITE{Proofs}{% Aichernig:2018:SST,% Morris:1998:PNP,% Whittle:2002:PPF,% Aransay:2010:GCC,% Bevier:1992:MCP,% Derrick:2018:MPO,% Dubois:2018:TPC,% Hesselink:1997:TMP,% Lin:2019:AEB,% Menghi:2021:TWM,% Pettorossi:2012:CBC% }. \NAMECITE{Proofs-as-Programs}{% Whittle:2002:PPF% }. \NAMECITE{Propagation}{% Yang:2021:ERV,% Chaudhari:2017:APT% }. \NAMECITE{Properties}{% Chandy:1994:PCP,% Kwiatkowska:2003:PMC,% Boucheneb:2008:ITC,% Elleuch:2015:FPA,% Hermann:1990:CPR,% Mammar:2015:PBV,% Renard:2020:RET,% Weber:1993:DBP% }. \NAMECITE{Property}{% Bradley:2008:PDI,% Dabaghchian:2015:MCO,% Derrick:2012:TLP,% Dijkstra:1997:PTP,% Hallal:2006:FAP,% Jorges:2011:APC,% Leuschel:2011:APV,% Taha:2015:CAB% }. \NAMECITE{Property-directed}{% Bradley:2008:PDI% }. \NAMECITE{Protection}{% Huang:2020:MVT% }. \NAMECITE{Protective}{% Leavens:1998:PIS% }. \NAMECITE{Protocol}{% Bowman:1998:AVL,% Hofstee:1995:JVS,% Shankland:1998:TIP,% Vassiliou-Gioles:1998:CSP,% Verdejo:2003:SVT,% Avalle:2014:FVS,% Badban:2005:VSW,% Bhaduri:2008:ISP,% Brown:1996:RHC,% Bruns:1994:FAC,% Gao:2011:CPS,% Haneberg:2008:VME,% Moore:1994:FMA,% Pironti:2014:SAD,% Vaandrager:2006:ABM,% vandeSnepscheut:1995:SWP,% Abrial:2003:MPI,% Calder:2003:USA,% Kwiatkowska:2003:PMC,% Maharaj:2003:ITI,% Schuppan:2003:VIF,% Stoelinga:2003:FFC% }. \NAMECITE{protocols}{% Banach:2010:AAT,% Bertolotti:2008:ERA,% Brown:2011:AVR,% Chapman:1990:DAI,% Gurgens:2005:SAE,% Heather:2014:CPE,% McIver:2011:CRA,% Mooij:2010:IBR,% Poch:2013:TBP,% Saleh:2010:GTF,% Sisto:2018:FSI% }. \NAMECITE{Prototypes}{% Chalin:2007:LFV% }. \NAMECITE{Prototyping}{% Jifeng:1994:SVP,% Riccobene:2014:FFS% }. \NAMECITE{provable}{% Li:2015:FPA% }. \NAMECITE{Provably}{% McKeever:2006:PCH,% Ward:2014:PCD% }. \NAMECITE{Provably-correct}{% McKeever:2006:PCH% }. \NAMECITE{prove}{% Jonsson:2012:URC% }. \NAMECITE{Proved}{% Abrial:2003:MPI% }. \NAMECITE{Prover}{% Goguen:1999:SSA,% Brucker:2013:TPB,% Moore:2019:MPL,% Russinoff:1992:VSC,% Weber-Wulff:1993:PMP% }. \NAMECITE{prover-based}{% Brucker:2013:TPB% }. \NAMECITE{Proving}{% Babic:2013:PTN,% Baumler:2011:PLT,% Drabent:2017:PCL,% Takahashi:1999:PEH,% Christiansen:2017:PCM,% Gottliebsen:2013:ARN,% Nipkow:1989:TRB,% Schreiner:2009:RPP% }. \NAMECITE{{PSL}}{% Gordon:2003:VPS% }. \NAMECITE{{PSL/Sugar}}{% Gordon:2003:VPS% }. \NAMECITE{{Ptolemy}}{% Lee:2004:BTS% }. \NAMECITE{Publication}{% Jones:2004:OFP% }. \NAMECITE{pump}{% Ruksenas:2014:CHE% }. \NAMECITE{Pure}{% Paige:1998:HNP,% Moore:2019:MPL% }. \NAMECITE{purity}{% Mossakowski:2010:GCD% }. \NAMECITE{purpose}{% Hallerstede:2011:PEB% }. \NAMECITE{purse}{% George:2008:SPM,% Ramananandro:2008:MEP,% Woodcock:2008:CME% }. \NAMECITE{purses}{% Haneberg:2008:VME% }. \NAMECITE{{PuRSUE}}{% Bersani:2020:PSR% }. \NAMECITE{push}{% Sitaraman:2011:BPB% }. \NAMECITE{push-button}{% Sitaraman:2011:BPB% }. \NAMECITE{pushdown}{% Song:2015:MCD% }. \NAMECITE{{Putput}}{% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{{PVS}}{% Badban:2005:VSW,% Gottliebsen:2013:ARN,% Shi:2018:USC,% Vaandrager:2006:ABM% }. \NAMECITE{Quantified}{% Albert:2015:QAC% }. \NAMECITE{Quantitative}{% Evangelidis:2021:QVK,% Zhang:2018:FVQ% }. \NAMECITE{Quantities}{% Genrich:2002:DQN% }. \NAMECITE{quantum}{% Beillahi:2019:MVF,% Ying:2019:TAV% }. \NAMECITE{Quasi}{% Hierons:2000:TCQ% }. \NAMECITE{Quest}{% Slotosch:2000:MVA% }. \NAMECITE{Railway}{% Boralv:1998:CSF,% Cimatti:1998:FVR,% Flammini:2021:CMR,% Haxthausen:2011:FAC,% Luteberget:2021:DSF% }. \NAMECITE{{RAISE}}{% Geisler:2021:SDM,% George:1992:NDS,% George:2008:SPM,% Nielsen:1989:RLM,% Perna:2013:MCR% }. \NAMECITE{Ramifications}{% Paynter:2004:RMB% }. \NAMECITE{randomized}{% Swaminathan:2012:LRR% }. \NAMECITE{Raschke}{% Bowen:2018:BRE% }. \NAMECITE{rational}{% Misra:2012:SVS% }. \NAMECITE{{{RC}}}{% Vilkomir:2006:MDR% }. \NAMECITE{{{RC/}}}{% Vilkomir:2006:MDR% }. \NAMECITE{Reachability}{% Delzanno:2008:RAF% }. \NAMECITE{reaction}{% John:2013:CVC% }. \NAMECITE{reactions}{% Nebut:2004:SAS% }. \NAMECITE{Reactive}{% Roux:1999:HVR,% Alagar:1991:FSP,% Andrade:2012:TIR,% Back:1996:SRR,% Banach:2013:MGFa,% Banach:2013:MGFb,% Carvalho:2016:MTR,% Dongol:2014:RAG,% Duke:1996:BMR% }. \NAMECITE{Read}{% Liu:2019:RAT,% Kim:2012:CTM% }. \NAMECITE{Ready}{% Feo-Arenis:2016:RTE% }. \NAMECITE{Real}{% Baeten:1991:RTP,% Baeten:1993:RSP,% Cardell-Oliver:2000:CTR,% Dams:1998:POR,% Paynter:2000:AAD,% Scholefield:1996:RTR,% Smith:2002:IRT,% Wildman:2003:VVA,% Burns:2007:EPV,% Davies:1993:RIR,% Dierks:2004:CMC,% Dixit:2014:TBC,% Dongol:2014:RAG,% Fidge:1997:ABF,% Gottliebsen:2013:ARN,% Grinchtein:2008:NIR,% Hooman:1994:EHL,% Kang:2007:PDV,% Liu:1995:VSR,% Markovski:2012:RRS,% Olderog:2015:STD,% Sherif:2010:PAF,% Zhou:1996:CVR% }. \NAMECITE{Real-Time}{% Cardell-Oliver:2000:CTR,% Paynter:2000:AAD,% Smith:2002:IRT,% Wildman:2003:VVA,% Dams:1998:POR,% Scholefield:1996:RTR,% Burns:2007:EPV,% Davies:1993:RIR,% Dierks:2004:CMC,% Dixit:2014:TBC,% Dongol:2014:RAG,% Fidge:1997:ABF,% Grinchtein:2008:NIR,% Hooman:1994:EHL,% Kang:2007:PDV,% Liu:1995:VSR,% Olderog:2015:STD,% Sherif:2010:PAF,% Zhou:1996:CVR% }. \NAMECITE{Reasoning}{% America:1994:RAD,% Anonymous:2017:MJC,% Apt:1994:RAP,% Dingel:1998:TFT,% Doherty:2000:RRV,% Dongol:2014:RAG,% Duke:1999:FCA,% Gordon:2003:VPS,% Inverardi:1994:APR,% Korver:1998:FAA,% Orejas:2010:RGC,% Stewart:2013:RAO,% Stomp:1994:PSR,% Cheng:2015:UFR,% Dierks:2004:CMC,% Din:2015:CRA,% Ehmety:2005:MCR,% Elkader:2018:ACA,% Hansson:1994:LRA,% Hayes:2019:SPA,% Lucanu:2015:PEC,% Misra:1990:ERA,% Mooij:2010:IBR,% Mossakowski:2010:GCD,% Partsch:1990:FPM,% Staples:1994:FLH,% Swaminathan:2012:LRR,% Tarasyuk:2015:ISR% }. \NAMECITE{Reconciling}{% Markovski:2012:RRS% }. \NAMECITE{reconfiguration}{% Bhattacharyya:2017:ECF% }. \NAMECITE{reconfigurations}{% Khakpour:2016:SSB% }. \NAMECITE{reconsidered}{% Owe:1993:PLR% }. \NAMECITE{Records}{% Pollack:2002:DTR% }. \NAMECITE{recovery}{% Bonakdarpour:2015:SBT,% Risi:2012:UFF% }. \NAMECITE{Recursion}{% Bonsangue:1994:WPC,% Davies:1993:RIR,% Staples:2000:IRR,% Hesselink:1990:CAR,% Holmstrom:1989:RCS% }. \NAMECITE{Recursive}{% Hesselink:1999:PTR,% Bouneb:2015:RML,% Hesselink:1993:PRR,% Hesselink:1995:SPR,% Nishimura:1997:SFL,% Tenzer:2006:MRC% }. \NAMECITE{Redesign}{% Bos:2003:RSE% }. \NAMECITE{reduced}{% Bouneb:2015:RML% }. \NAMECITE{Reduction}{% Dams:1998:POR,% Abed:2013:AVR,% Dobrikov:2016:OPM,% Junges:2017:FTD,% Labbe:2008:SCA,% Wahl:2010:LAS% }. \NAMECITE{redundancy}{% Bozzano:2019:FRA% }. \NAMECITE{refactoring}{% Kobayashi:2019:CPR% }. \NAMECITE{Refine}{% Boiten:2006:GEE% }. \NAMECITE{Refinement}{% Aichernig:2003:MTR,% Back:1990:RCF,% Back:2000:CRS,% Back:2000:EDD,% Back:2003:CAS,% Banach:1999:SRM,% Beckert:2005:RRP,% Beierle:1996:RTW,% Borger:2003:ARM,% Bowen:2009:RUI,% Butler:2002:UDR,% Cavalcanti:1998:ZRC,% Cavalcanti:2003:RSC,% Cusack:1991:RCI,% Davies:2003:CRU,% Derrick:2003:RCR,% Derrick:2003:SRS,% Dingel:2002:RCS,% Fecher:2006:ARA,% Frappier:2014:RPA,% Huth:2005:RCI,% Madeira:2015:RHI,% Mahony:1999:LCR,% Meinicke:2010:RAP,% Miyazawa:2014:RBV,% Morgan:1996:ROP,% Oliveira:2003:ATL,% Sekerinski:2003:ETV,% Sere:2000:DRR,% Wildman:2003:VVA,% Back:1996:SRR,% Back:2005:ATP,% Boiten:2009:RCR,% Boiten:2014:IEO,% Brown:2011:AVR,% Bruni:2018:COA,% Cattani:2005:RBP,% Daum:2014:CUU,% Derrick:2012:TLP,% Derrick:2014:RCR,% Deutsch:2006:ARA,% Fathabadi:2015:LTS,% Filipovic:2010:BCD,% Gardiner:1993:SCR,% Hoang:2016:FUL,% Holmstrom:1989:RCS,% Jifeng:1989:PSR,% Jonsson:2012:URC,% Kay:1992:SPB,% King:1995:ERC,% Kobayashi:2019:CPR,% Leino:2012:SRH,% Lermer:2006:PCR,% Lopes:2004:SCV,% Lowe:2008:SCP,% Markovski:2012:RRS,% McIver:2011:CRA,% Murray:2013:LRT,% Naumann:1995:DRC,% Paige:2004:EOO,% Preoteasa:2012:IDD,% Ramananandro:2008:MEP,% Reeves:2008:DRS,% Roscoe:2005:EPC,% Sanders:2012:ER,% Schneider:2014:BSE,% Scholefield:1996:RTR,% Sinclair:1995:ERS,% Smith:2017:RTR,% Spivey:1995:UCS,% Stankaitis:2021:RBD,% Stolen:1996:SRN,% Wissmann:2021:GPR,% Zeyda:2012:MSS,% Zhao:2009:GTO,% vanderMeyden:2012:ARN% }. \NAMECITE{Refinement-based}{% Miyazawa:2014:RBV,% Cattani:2005:RBP,% Stankaitis:2021:RBD% }. \NAMECITE{Refinement-oriented}{% Morgan:1996:ROP% }. \NAMECITE{refinement-testing}{% Murray:2013:LRT% }. \NAMECITE{refinements}{% Banach:2010:AAT,% Borger:2007:CAG,% Gorogiannis:2007:MRSa,% Gorogiannis:2007:MRSb,% Gorogiannis:2007:MRSc,% Smith:2006:VDR,% Smith:2009:MCA% }. \NAMECITE{Refining}{% Cau:2000:CRD,% Derrick:1998:SRI,% Li:2017:RAA,% Staples:2000:IRR% }. \NAMECITE{refusals}{% Lowe:2008:SCP% }. \NAMECITE{refusals-based}{% Lowe:2008:SCP% }. \NAMECITE{refutation}{% Subramani:2013:IAO% }. \NAMECITE{region}{% Bao:2018:USL% }. \NAMECITE{regular}{% Xuandong:2004:DCR% }. \NAMECITE{reification}{% Jones:2011:ECA,% Oliveira:1990:RCM% }. \NAMECITE{relabelling}{% Hussak:1996:CPR% }. \NAMECITE{Relating}{% Martin:2000:RZF,% Runde:2013:RCS,% Smith:2017:RTR% }. \NAMECITE{relation}{% Gunicen:2014:RBP% }. \NAMECITE{Relational}{% Boiten:2009:RCR,% Derrick:2003:RCR,% Derrick:2014:RCR,% Arias:2017:CLP,% Wu:2014:FRD% }. \NAMECITE{relations}{% Banerjee:2017:DBR,% Demasi:2017:SRF,% Derrick:2014:RCR,% Jones:2019:ILR,% Koutny:1997:TIR% }. \NAMECITE{Relationship}{% Stannett:1994:ICS,% Binkley:2006:FRB% }. \NAMECITE{relaxation}{% Stewart:2004:BSA% }. \NAMECITE{relaxed}{% Lechenet:2018:CBB% }. \NAMECITE{reliability}{% Ahmad:2020:FRF,% Bozzano:2019:FRA,% Hansson:1994:LRA% }. \NAMECITE{rely}{% Bornat:2010:IPB,% Hayes:2016:GRG,% Jones:2019:ILR,% Xu:1997:RGM,% Dingel:1998:TFT% }. \NAMECITE{rely-guarantee}{% Bornat:2010:IPB,% Hayes:2016:GRG,% Xu:1997:RGM% }. \NAMECITE{{Rely/}}{% Dingel:1998:TFT% }. \NAMECITE{rely/guarantee}{% Jones:2019:ILR% }. \NAMECITE{Remote}{% Sere:2000:DRR,% Houston:1994:SDC% }. \NAMECITE{{Reo}}{% Kokash:2012:RMF% }. \NAMECITE{replicated}{% Koutny:1997:TIR% }. \NAMECITE{reporting}{% Dutle:2021:FAC% }. \NAMECITE{repository}{% Bicarregui:2006:VSR% }. \NAMECITE{representation}{% Bertolotti:2008:ERA% }. \NAMECITE{Representational}{% Doherty:2000:RRV% }. \NAMECITE{repudiation}{% Gurgens:2005:SAE% }. \NAMECITE{requirements}{% Barnat:2016:ASR,% Carvalho:2016:MTR,% Filieri:2012:FAA,% Larsen:1994:RFS,% Mukherjee:1993:FSS% }. \NAMECITE{Researcher}{% vanLamsweerde:2011:HHR% }. \NAMECITE{resolution}{% Fu:2017:OSR,% Subramani:2013:IAO,% Zhuo:2020:TEP% }. \NAMECITE{{RESOLVE}}{% Sitaraman:2011:BPB% }. \NAMECITE{resources}{% Houston:1994:SDC,% Pym:2006:CLR% }. \NAMECITE{Response}{% Larsen:1994:RFS% }. \NAMECITE{Responsiveness}{% Reed:2004:RIC,% Reed:2007:RSR% }. \NAMECITE{rest}{% Pitt:1994:RSU% }. \NAMECITE{restorable}{% Rabanal:2013:TRS% }. \NAMECITE{restricted}{% Georgievska:2012:PMM% }. \NAMECITE{retaining}{% Georgievska:2012:PMM% }. \NAMECITE{Retargeting}{% Brown:1996:RHC% }. \NAMECITE{Retrenchment}{% Banach:1999:SRM,% Banach:2011:REB,% Banach:2013:AFR,% Banach:2013:MGFa,% Banach:2013:MGFb,% Beckert:2005:RRP% }. \NAMECITE{reuse}{% Damiani:2014:VTI% }. \NAMECITE{Reversible}{% Barbanera:2016:RCS,% Stoddart:2013:UPC% }. \NAMECITE{Review}{% Banach:2019:BRJ,% Bowen:2018:BRE,% Bowen:2020:BRG,% Hallerstede:2018:BRT,% Jones:2017:BRT,% Knapp:2020:BRA,% Konnov:2019:BRE,% Michaelson:2019:BRB,% Monahan:2018:BRD,% Bogdanov:2006:TMX,% Henglein:1992:BR,% Hussmann:1992:BR,% Kirkwood:1996:BR,% Lins:1993:BR% }. \NAMECITE{Reviews}{% Anonymous:1998:BR,% Atkinson:1992:BR,% Atkinson:1994:BR,% Bowen:1996:BR,% Brock:1995:BR,% Cooke:1989:BR,% Davie:1993:BR,% Denvir:1990:BR,% Horning:1994:BR,% Matthews:1996:BR,% Mitchell:1995:BR,% Monahan:1989:BR,% Mukherjee:1995:BR,% Murphy:1991:BR,% Parke:1989:BR,% Pitt:1991:BR,% Roy:1993:BR,% Walsh:1995:BR,% vonWright:1995:BR% }. \NAMECITE{Revising}{% Henson:1999:RZPa,% Henson:1999:RZPb% }. \NAMECITE{Revisited}{% Hofstee:1995:JVS,% Jonker:1998:KTR,% Eggert:2017:DIN,% Owe:1992:ATP,% Thompson:1995:LMR,% vandeSnepscheut:1995:SWP% }. \NAMECITE{revivals}{% Reed:2007:RSR% }. \NAMECITE{rewrite}{% Lescanne:1995:TRS,% Ronn:1996:ICT% }. \NAMECITE{Rewriting}{% Verdejo:2003:SVT,% Delzanno:2008:RAF,% Junges:2017:FTD,% Nipkow:1989:TRB% }. \NAMECITE{{Reynolds}}{% Brookes:2014:ER% }. \NAMECITE{Richer}{% Spivey:1996:RTZ% }. \NAMECITE{Right}{% Nipkow:1998:WAR% }. \NAMECITE{Rigorous}{% Oliveira:2016:RDC,% Masalagiu:2009:RMS% }. \NAMECITE{rippling}{% Lin:2019:AEB% }. \NAMECITE{{RISC}}{% Schreiner:2009:RPP% }. \NAMECITE{risk}{% Gleirscher:2021:RDA% }. \NAMECITE{risk-aware}{% Gleirscher:2021:RDA% }. \NAMECITE{{RiskStructures}}{% Gleirscher:2021:RDA% }. \NAMECITE{Ritchie}{% Paterson:1990:OPD% }. \NAMECITE{river}{% Rabanal:2013:TRS% }. \NAMECITE{Robin}{% Jones:2017:BRT,% Anonymous:2010:RMJ% }. \NAMECITE{Robotic}{% Rashid:2020:FVR,% Bersani:2020:PSR% }. \NAMECITE{robust}{% Bacci:2021:ORC% }. \NAMECITE{Robustness}{% Yang:2021:ERV% }. \NAMECITE{Rod}{% Kerse:2002:ORB,% Landin:2002:RBP,% Rydeheard:2002:CPM% }. \NAMECITE{Roderick}{% Konnov:2019:BRE% }. \NAMECITE{{Rodin}}{% Banach:2011:REB% }. \NAMECITE{{Rodrigues}}{% Chen:2020:FCP% }. \NAMECITE{{ROLA}}{% Liu:2019:RAT% }. \NAMECITE{role}{% Ghilezan:2016:DRA,% Kim:2009:FDD% }. \NAMECITE{Root}{% Kwiatkowska:2003:PMC,% Stoelinga:2003:FFC% }. \NAMECITE{{RT}}{% Suhl:2002:OIF% }. \NAMECITE{{RT-Z}}{% Suhl:2002:OIF% }. \NAMECITE{{rTiMo}}{% Xie:2018:UAR% }. \NAMECITE{{RTS}}{% Calder:2014:MIC,% Yazid:2015:MEI% }. \NAMECITE{{RTS/CTS}}{% Calder:2014:MIC,% Yazid:2015:MEI% }. \NAMECITE{rule}{% Gardiner:1993:SCR,% Hermann:1990:CPR,% Prasetya:1994:EUS% }. \NAMECITE{Rules}{% Audebaud:1999:DPR,% Christiansen:2017:PCM,% Hesselink:1993:PRR,% Jutla:1997:MDP,% Taha:2015:CAB% }. \NAMECITE{run}{% DiGiusto:2016:EBR% }. \NAMECITE{run-time}{% DiGiusto:2016:EBR% }. \NAMECITE{Running}{% Ross:1997:RPB% }. \NAMECITE{Runtime}{% Renard:2020:RET,% Neykova:2017:TRM% }. \NAMECITE{R{\"u}thing}{% Michaelson:2019:BRB% }. \NAMECITE{{SACM}}{% Foster:2021:IFP% }. \NAMECITE{Safe}{% Pironti:2014:SAD,% Zhao:2021:LSN% }. \NAMECITE{Safety}{% Bozzano:2021:MBS,% Hesselink:1995:SPR,% Sistla:1994:SLF,% Wu:2021:SVS,% Larsen:1994:RFS,% Mukherjee:1993:FSS,% Yang:2021:EAI,% Cavalcanti:2013:SCJ% }. \NAMECITE{safety-critical}{% Yang:2021:EAI,% Cavalcanti:2013:SCJ% }. \NAMECITE{salience}{% Ruksenas:2009:VGM% }. \NAMECITE{{SAN}}{% Hillston:2007:FTP% }. \NAMECITE{sanity}{% Barnat:2016:ASR% }. \NAMECITE{{SAT}}{% Antonino:2019:EVC,% Luteberget:2021:DSF% }. \NAMECITE{satisfiability}{% Li:2018:ETS,% Kroening:2009:FSM% }. \NAMECITE{Scalable}{% Massink:2012:SCD,% Groves:2009:TBD% }. \NAMECITE{scale}{% Leuschel:2011:APV% }. \NAMECITE{scenarios}{% Kuhlmann:2008:MVM% }. \NAMECITE{schedulability}{% Liu:1995:VSR% }. \NAMECITE{schedulers}{% Georgievska:2012:PMM,% Hierons:2012:UST% }. \NAMECITE{scheduling}{% Bisgaard:2019:BAS,% Bostrom:2014:DCP% }. \NAMECITE{Schema}{% Henson:2003:LSB,% Weidmann:2021:SCC% }. \NAMECITE{Schema-Based}{% Henson:2003:LSB% }. \NAMECITE{schematics}{% Luteberget:2021:DSF% }. \NAMECITE{scheme}{% Misra:2012:SVS,% Yazid:2015:MEI% }. \NAMECITE{{SCI}}{% Felty:1999:CCS% }. \NAMECITE{Science}{% Rydeheard:2002:CPM% }. \NAMECITE{scientist}{% Bornat:2009:PLC% }. \NAMECITE{{SCOOP}}{% Brooke:2007:CME,% Nienaltowski:2009:FAC% }. \NAMECITE{screw}{% Shi:2018:FAK% }. \NAMECITE{{SCTL}}{% Arias:2001:SMF% }. \NAMECITE{{SCTL-MUS}}{% Arias:2001:SMF% }. \NAMECITE{{SDL}}{% Broy:1991:TFF% }. \NAMECITE{{SDLV}}{% Wu:2021:SVS% }. \NAMECITE{second}{% Castagna:1996:IPA% }. \NAMECITE{section}{% Aichernig:2018:SST% }. \NAMECITE{sector}{% Kim:2012:CTM% }. \NAMECITE{Secure}{% Butler:2002:UDR,% Castellani:2016:SAS,% Misra:2012:SVS% }. \NAMECITE{Security}{% Gurgens:2005:SAE,% Hoang:2013:SID,% Avalle:2014:FVS,% Bagheri:2018:FAD,% Braghin:2011:MCB,% Dabaghchian:2015:MCO,% Gordon:2005:VWS,% Haneberg:2008:VME,% Hoang:2014:ANI,% McIver:2011:CRA,% Mizuno:1992:SFC,% Mooij:2010:IBR,% Pironti:2014:SAD,% Sisto:2018:FSI% }. \NAMECITE{{Segall}}{% Hesselink:1997:MPS% }. \NAMECITE{selection}{% Julliand:2011:GTB% }. \NAMECITE{Self}{% Castellani:2016:SAS,% Wu:2021:SVS,% Kwiatkowska:2012:PVH,% Misra:2012:SVS% }. \NAMECITE{Self-adaptation}{% Castellani:2016:SAS% }. \NAMECITE{Self-Driving}{% Wu:2021:SVS% }. \NAMECITE{self-interest}{% Misra:2012:SVS% }. \NAMECITE{self-stabilisation}{% Kwiatkowska:2012:PVH% }. \NAMECITE{Semantic}{% Chen:2013:SIU,% Mahony:2002:DSL,% Breu:1996:ASF,% Colvin:2017:DSM,% Rosaci:2015:FSA,% Valmari:1995:CFB% }. \NAMECITE{Semantics}{% Audebaud:1999:DPR,% Back:2000:CRS,% Diehl:2000:NSD,% Franzle:2003:SDE,% Gay:2003:IES,% Gordon:2003:VPS,% Hallerstede:2018:BRT,% Kreowski:1999:GTU,% Larsen:1994:FSD,% Larsen:1996:SUD,% Loreti:2021:SPL,% Nipkow:1998:WAR,% Rewitzky:1998:UFV,% Sheng:2020:TPA,% America:1992:LSP,% Baumann:1991:TSB,% Bolton:2006:SFS,% Boronat:2010:ASM,% Bucci:1993:EIS,% Butterfield:2011:DSH,% Caswell:1997:EFS,% Ciobanu:2015:SBS,% Colvin:2014:OSO,% Corrodi:2018:SCW,% DeWulf:2005:AAS,% Fu:2017:OSR,% Gallardo:2004:GSP,% Hense:1993:DSO,% Henson:1999:RZPa,% Howells:2009:CMF,% Knijnenburg:1997:SCA,% Mizuno:1992:SFC,% Mosses:2011:VSP,% Ngondi:2021:DSC,% Oliveira:2009:USC,% Schneider:2014:BSE,% Shi:2018:USC,% Shields:1992:MHP,% Sinnig:2011:POS,% Smith:1995:FAS,% Taha:2015:CAB,% Xie:2021:PCB,% Yamagata:2014:FSE,% Zhu:2015:DSA% }. \NAMECITE{semantics-based}{% Baumann:1991:TSB% }. \NAMECITE{{semantics.org/}}{% Hallerstede:2018:BRT% }. \NAMECITE{semaphores}{% Hesselink:2013:SFM% }. \NAMECITE{Semiotic}{% Goguen:1999:SSA% }. \NAMECITE{semiring}{% Emoto:2012:FES% }. \NAMECITE{sensor}{% Archibald:2021:TTG,% Elleuch:2015:FPA% }. \NAMECITE{separation}{% Bao:2018:USL,% Bornat:2010:IPB,% Hayes:1995:SIS,% McKeever:2006:PCH,% Ta:2019:AMI% }. \NAMECITE{sequence}{% Runde:2013:RCS% }. \NAMECITE{sequencer}{% Josephs:1997:USA% }. \NAMECITE{sequences}{% Babic:2013:PTN,% Gunicen:2014:RBP,% Jourdan:2010:LBL,% Ural:2006:CCS% }. \NAMECITE{Sequential}{% Bolton:2006:SFS,% Jifeng:2003:AFD,% Kay:1992:SPB,% Stomp:1994:PSR,% Baeten:1994:SCA,% Leavens:2007:SVC,% Maung:1995:SSS% }. \NAMECITE{Sequentiality}{% Avron:1994:SSD% }. \NAMECITE{{Sere}}{% Petre:2014:KSM% }. \NAMECITE{Serial}{% Calder:2003:USA% }. \NAMECITE{{Sernadas}}{% Anonymous:2017:OAL% }. \NAMECITE{server}{% Barbanera:2016:RCS% }. \NAMECITE{Service}{% Browne:2000:CPS,% Dierks:2000:MVC,% Kotkas:2000:CPS,% Cruz-Filipe:2014:SBS,% Fiadeiro:2011:AMS,% Gordon:2005:VWS,% Kokash:2012:RMF,% Laneve:2015:ATW,% Riccobene:2014:FFS% }. \NAMECITE{service-centred}{% Cruz-Filipe:2014:SBS% }. \NAMECITE{service-oriented}{% Cruz-Filipe:2014:SBS% }. \NAMECITE{services}{% Gao:2011:CPS,% Lahouij:2020:EBB,% Stewart:2013:RAO% }. \NAMECITE{Set}{% Lindsay:2012:CSA,% Henson:1989:PDC,% Tran:2021:VPD,% Wright:2011:UEB% }. \NAMECITE{Sets}{% Ipate:2000:GTS% }. \NAMECITE{{SH}}{% Ochsenschlager:1998:SVT% }. \NAMECITE{{SH-Verification}}{% Ochsenschlager:1998:SVT% }. \NAMECITE{Shallow}{% Leifer:2002:SLA% }. \NAMECITE{shaper}{% Santos:2018:ASM% }. \NAMECITE{Shared}{% Dingel:2002:RCS,% Bird:2012:BCS,% Bornat:2013:ETN,% Din:2015:CRA,% Hayes:2019:SPA,% Owe:1992:ATP,% Seidel:1996:SDV,% Shi:2018:USC,% Xu:1997:RGM% }. \NAMECITE{shared-memory}{% Hayes:2019:SPA% }. \NAMECITE{Shared-Variable}{% Dingel:2002:RCS,% Bornat:2013:ETN% }. \NAMECITE{Sharing}{% Minamide:1994:SAB,% Calder:2014:MIC% }. \NAMECITE{Sharp}{% Banach:1999:SRM% }. \NAMECITE{Should}{% MacQueen:2002:SMO% }. \NAMECITE{showing}{% Leino:1995:MSP% }. \NAMECITE{{SI}}{% Josephs:1997:USA% }. \NAMECITE{Signalling}{% Vassiliou-Gioles:1998:CSP,% Stankaitis:2021:RBD% }. \NAMECITE{signature}{% Basin:2007:VSA% }. \NAMECITE{signing}{% Chatterjee:2014:AGS% }. \NAMECITE{Simple}{% Fu:2013:SLS,% Banach:2014:CKA,% Dijkstra:1995:DSF,% Kammuller:2008:FNI% }. \NAMECITE{{Simpson}}{% Paynter:2004:RMB% }. \NAMECITE{Simulation}{% Banach:1999:SRM,% Demasi:2017:SRF,% Stannett:2006:STA,% Jifeng:1989:PSR,% Lynch:1995:CST,% Maung:1995:SSS% }. \NAMECITE{simulations}{% Naumann:2007:ABE% }. \NAMECITE{{Simulink}}{% Chen:2009:FFM% }. \NAMECITE{single}{% Gardiner:1993:SCR% }. \NAMECITE{singleton}{% Bolton:2006:SFS,% Reeves:2008:DRS% }. \NAMECITE{{Sintzoff}}{% vanLamsweerde:2011:HHR% }. \NAMECITE{Sketch}{% Felty:1999:CCS% }. \NAMECITE{slice}{% Barros:2012:ABS% }. \NAMECITE{slices}{% Lechenet:2018:CBB% }. \NAMECITE{Slicing}{% Harman:1996:SPP,% Labbe:2008:SCA,% Barros:2012:ABS,% Binkley:2006:FRB% }. \NAMECITE{Sliding}{% Hofstee:1995:JVS,% Badban:2005:VSW,% vandeSnepscheut:1995:SWP% }. \NAMECITE{Sliding-Window}{% Hofstee:1995:JVS,% vandeSnepscheut:1995:SWP% }. \NAMECITE{slot}{% Paynter:2004:RMB% }. \NAMECITE{small}{% Kazmierczak:1992:MSS% }. \NAMECITE{smart}{% Ahmad:2020:FRF% }. \NAMECITE{smells}{% Moha:2010:DAS% }. \NAMECITE{{SMV}}{% Schuppan:2003:VIF% }. \NAMECITE{{Snepscheut}}{% Dijkstra:1994:JVS,% Hofstee:1995:JVS% }. \NAMECITE{Social}{% Goguen:1999:SSA% }. \NAMECITE{softcover}{% Banach:2019:BRJ% }. \NAMECITE{Software}{% Arias:2001:SMF,% Grosse-Rhode:2002:CCF,% Alencar:1996:LFE,% Bagheri:2016:MDS,% Bicarregui:2006:VSR,% Bowen:2018:BRE,% Bu:2021:MLS,% Chaki:2005:CSV,% Feinerer:2009:CTT,% Filieri:2012:FAA,% He:2005:EOS,% Kim:2012:CTM,% Kirchner:2015:FCS,% Moller:2008:IFM,% Oliveira:1990:RCM,% Risi:2012:UFF,% Schrammel:2017:IBM% }. \NAMECITE{solution}{% He:2005:EOS,% Rabanal:2013:TRS% }. \NAMECITE{Solutions}{% Hesselink:2010:SEL,% Baier:1997:CBI% }. \NAMECITE{solving}{% Antonino:2019:EVC,% Schneider:2018:MBP% }. \NAMECITE{Some}{% Leth:1995:SFC,% Ehmety:2005:MCR% }. \NAMECITE{sorted}{% Beierle:1996:RTW,% Meseguer:2017:EFP,% Owe:1991:GIO% }. \NAMECITE{sorting}{% Codish:2017:OSA% }. \NAMECITE{sound}{% Derrick:2021:VCP,% Lechenet:2018:CBB,% Nazarpour:2017:CPS,% Sisto:2018:FSI,% Zeyda:2012:MSS% }. \NAMECITE{Soundness}{% vanderAalst:2011:SWN% }. \NAMECITE{Space}{% Hehner:1998:FTS,% Baeten:1993:RSP,% Boucheneb:2008:ITC,% Pomello:1992:ACE% }. \NAMECITE{spaces}{% Li:2013:IAS% }. \NAMECITE{Spanning}{% Hesselink:1999:VID% }. \NAMECITE{{Spark}}{% Baresi:2020:UFV% }. \NAMECITE{spatial}{% Johnson:2013:DTS% }. \NAMECITE{Special}{% Aichernig:2018:SST,% Boiten:2006:GEE,% Cooke:2007:EVS% }. \NAMECITE{Specific}{% Anderson:1998:DPA% }. \NAMECITE{Specification}{% Beierle:1996:SCP,% Duke:1999:CSS,% Felty:1999:CCS,% George:2008:SPM,% Grosu:2001:SBS,% Hayes:1995:SIS,% Hayes:1998:EPS,% Jifeng:1994:SVP,% Leavens:2007:SVC,% Lowe:2008:SCP,% Nebut:2004:SAS,% Stolen:1996:SRN,% Verdejo:2003:SVT,% Alagar:1991:FSP,% Bersani:2020:PSR,% Boudriga:1992:LSA,% Broy:1991:TFF,% Dybjer:1989:FPA,% Fiadeiro:1992:TTM,% George:1992:NDS,% He:1990:IPT,% Henson:2006:SL,% Kazmierczak:1992:MSS,% Larsen:1994:RFS,% Masalagiu:2009:RMS,% Moha:2010:DAS,% Mukherjee:1993:FSS,% OHalloran:1997:UFS,% Oliveira:1990:RCM,% Pitt:1994:RSU,% Ramananandro:2008:MEP,% Saleh:2010:GTF,% Sannella:1997:ECA,% Sherif:2010:PAF,% Sitaraman:1996:IPC% }. \NAMECITE{Specifications}{% Bidoit:2002:ASC,% Butterworth:2000:DCP,% Cardell-Oliver:2000:CTR,% Cau:2000:CRD,% Derrick:2002:CCS,% Grosse-Rhode:2002:CCF,% Leavens:1998:PIS,% Vickers:2001:PCS,% Wehrheim:2000:DAT,% Amram:2021:GGS,% Boudriga:1992:LSA,% Castro:2015:CFS,% Gorogiannis:2007:MRSa,% Gorogiannis:2007:MRSb,% Gorogiannis:2007:MRSc,% Graf:1996:CMF,% Hayes:1995:UUM,% Holmstrom:1989:RCS,% Ipate:2016:UIC,% Julliand:2011:GTB,% Labbe:2008:SCA,% Middelburg:1989:VLS,% Middelburg:1992:MSV,% Mukherjee:1995:TOS,% Noel:1995:TBS,% Perna:2013:MCR,% Vekris:2016:VEE,% Vekris:2016:VES% }. \NAMECITE{Specified}{% Derrick:2003:SRS,% George:1992:NDS% }. \NAMECITE{Specifying}{% Aaltonen:2000:SCP,% Burton:1989:SAM,% Derrick:1998:SRI,% Houston:1994:SDC,% Doherty:2013:TFS% }. \NAMECITE{Spectrum}{% Popplestone:2002:PBS,% Colvin:2017:DSM% }. \NAMECITE{{SPIN}}{% Calder:2003:USA,% Dabaghchian:2015:MCO,% Latella:1999:AVB,% DeWachter:2005:FDD,% Zave:2015:PCA% }. \NAMECITE{Sprevak}{% Jones:2017:BRT% }. \NAMECITE{Springer}{% Banach:2019:BRJ,% Bowen:2018:BRE,% Hallerstede:2018:BRT,% Monahan:2018:BRD% }. \NAMECITE{{SRML}}{% Bocchi:2010:SPS% }. \NAMECITE{stabilisation}{% Kwiatkowska:2012:PVH% }. \NAMECITE{Stability}{% Avron:1994:SSD% }. \NAMECITE{stable}{% Reed:2007:RSR% }. \NAMECITE{stack}{% Fassbender:1992:ISD,% Groves:2009:TBD,% Stoddart:1993:TIS% }. \NAMECITE{stacks}{% Gao:2011:CPS% }. \NAMECITE{Standard}{% Henson:1998:SLZ,% King:1999:SLZ% }. \NAMECITE{Standardization}{% Duce:1999:CFS% }. \NAMECITE{standards}{% Feo-Arenis:2016:RTE% }. \NAMECITE{star}{% Tran:2021:VPD% }. \NAMECITE{Starvation}{% Hesselink:2013:SFM% }. \NAMECITE{Starvation-free}{% Hesselink:2013:SFM% }. \NAMECITE{state}{% Andre:2016:FCU,% Boucheneb:2008:ITC,% Cassel:2016:ALE,% El-Fakih:2018:ADT,% Graf:1996:CMF,% Jancik:2017:PSM,% Mizera:2019:GAS,% Nogueira:2014:TGS,% Pitt:1994:RSU,% Pomello:1992:ACE,% Qin:1991:FFS,% Sinclair:1995:ERS,% Subramani:2006:AAS,% Tenzer:2006:MRC,% Yamagata:2014:FSE% }. \NAMECITE{state-based}{% Pitt:1994:RSU,% Sinclair:1995:ERS% }. \NAMECITE{Statechart}{% Latella:1999:AVB% }. \NAMECITE{Statechartable}{% Eshuis:2013:SPN% }. \NAMECITE{{Stateflow}}{% Miyazawa:2014:RBV% }. \NAMECITE{Statemate}{% Franzle:2003:SDE% }. \NAMECITE{statements}{% Knijnenburg:1997:SCA% }. \NAMECITE{states}{% Best:1992:CGH,% Chaki:2005:CSV% }. \NAMECITE{static}{% Aceto:1994:SVL% }. \NAMECITE{Statistical}{% Basile:2021:AAT,% Cordy:2021:SMC,% Biondi:2019:HSE% }. \NAMECITE{stays}{% Pitt:1994:RSU% }. \NAMECITE{steady}{% Mizera:2019:GAS% }. \NAMECITE{steady-state}{% Mizera:2019:GAS% }. \NAMECITE{steered}{% Bu:2021:MLS% }. \NAMECITE{Steering}{% Wu:2021:SVS% }. \NAMECITE{Steffen}{% Michaelson:2019:BRB% }. \NAMECITE{step}{% Bicarregui:2006:VSR,% Browne:2000:CPS% }. \NAMECITE{Stepwise}{% Geisler:2021:SDM,% Leino:2012:SRH,% Bostrom:2014:DCP% }. \NAMECITE{Stochastic}{% Flammini:2021:CMR,% Wang:2017:CMV,% Calder:2014:MIC,% Hatefi:2017:CVT,% Lopez:2004:IFP,% Markovski:2012:RRS,% Tarasyuk:2015:ISR% }. \NAMECITE{stop}{% Bowman:2006:HST% }. \NAMECITE{stopping}{% Banach:2014:CKA,% Bowman:2006:HST% }. \NAMECITE{storage}{% Kim:2012:CTM% }. \NAMECITE{storing}{% Larsen:1994:RFS,% Mukherjee:1993:FSS% }. \NAMECITE{{StPowla}}{% Bocchi:2010:SPS% }. \NAMECITE{strand}{% Li:2013:IAS% }. \NAMECITE{strategic}{% Bergstra:2007:TAS% }. \NAMECITE{strategies}{% Winskel:2012:DCS% }. \NAMECITE{Strategy}{% Cavalcanti:2003:RSC,% Ciobanu:2015:SBS,% Pettorossi:2002:LIS% }. \NAMECITE{Stream}{% Balanescu:2000:GSX,% Gheorghe:2000:GSX,% Grosu:2001:SBS,% Hierons:2000:TCQ,% Ipate:2000:GTS,% Ipate:2002:TCC,% Cruz-Filipe:2014:SBS,% Hierons:2008:TDI,% Ipate:2004:CDS,% Ipate:2016:UIC% }. \NAMECITE{Stream-Based}{% Grosu:2001:SBS,% Cruz-Filipe:2014:SBS% }. \NAMECITE{Streamlining}{% Dongol:2008:SPB% }. \NAMECITE{Strichman}{% Monahan:2018:BRD% }. \NAMECITE{strict}{% Nishimura:1997:SFL% }. \NAMECITE{string}{% Chawdhary:2017:PES,% Fu:2013:SLS% }. \NAMECITE{strong}{% Qin:1991:FFS% }. \NAMECITE{Structural}{% Derrick:2003:SRS,% Olderog:2015:STD,% Khakpour:2016:SSB,% Palsberg:1997:TIN% }. \NAMECITE{structure}{% Best:1990:POB% }. \NAMECITE{Structured}{% Back:1997:SCP,% Back:2010:SDU,% Cowling:2000:SWU,% Seidel:1996:SDV,% Castro:2015:CFS,% Middelburg:1989:VLS,% Rosaci:2015:FSA,% Simons:1996:ALS% }. \NAMECITE{structures}{% America:1994:RAD,% Bird:2012:BCS,% Ceska:2007:GMP,% Derrick:2021:VCP,% Fathabadi:2015:LTS,% Kobayashi:2019:CPR% }. \NAMECITE{structuring}{% Middelburg:1992:MSV% }. \NAMECITE{studies}{% Pedersen:2018:SCV% }. \NAMECITE{{Studio}}{% Dissoubray:2000:DAT% }. \NAMECITE{Study}{% Arias:2001:SMF,% Boralv:1998:CSF,% Browne:2000:CPS,% Duke:1999:CSS,% Maharaj:2003:ITI,% Stoelinga:2003:FFC,% Vassiliou-Gioles:1998:CSP,% Aransay:2010:GCC,% Archibald:2021:TTG,% Basin:2007:VSA,% Bella:2014:ISC,% Hayes:1992:VZC,% Ruksenas:2014:CHE,% Schneider:2006:TMP,% Spivey:1995:UCS% }. \NAMECITE{Stuttering}{% Paun:2003:CUS% }. \NAMECITE{style}{% Back:2010:SDU,% Gaina:2017:BSC,% Notarmarco:1991:FAC,% Wiik:2016:CBV% }. \NAMECITE{stylized}{% Bagheri:2016:MDS% }. \NAMECITE{subscripted}{% Prasetya:1994:EUS% }. \NAMECITE{Subset}{% Latella:1999:AVB% }. \NAMECITE{substation}{% Ahmad:2020:FRF% }. \NAMECITE{Substitutability}{% Back:2000:CRS,% Maung:1995:SSS% }. \NAMECITE{substitution}{% Gabbay:2008:CAS,% Prasetya:1994:EUS,% Sanders:1991:ESA% }. \NAMECITE{subtyping}{% Castagna:1996:IPA,% Maung:1995:SSS,% Palsberg:1997:TIN% }. \NAMECITE{{Sugar}}{% Gordon:2003:VPS% }. \NAMECITE{suitable}{% Dimovski:2019:FSV% }. \NAMECITE{suites}{% Paiva:2016:GCT% }. \NAMECITE{summation}{% Groote:2005:CCA% }. \NAMECITE{super}{% Stannett:1990:XMH% }. \NAMECITE{super-{Turing}}{% Stannett:1990:XMH% }. \NAMECITE{Superposition}{% Back:1996:SRR,% Lopes:2004:SCV% }. \NAMECITE{support}{% Back:2005:ATP,% Evans:2007:ITS,% Fathabadi:2015:LTS,% Tsay:2009:TSL,% Zeyda:2012:MSS% }. \NAMECITE{survey}{% Avalle:2014:FVS% }. \NAMECITE{Switched}{% Jin:2021:ISN% }. \NAMECITE{switching}{% Holzmann:2011:MCB% }. \NAMECITE{symbiosis}{% Pedersen:2018:SCV% }. \NAMECITE{Symbolic}{% Tofts:2000:SAP,% Wang:2011:SPA,% Xia:2011:SDP,% Yang:2021:ERV,% deBoer:2021:SEF,% Bu:2021:MLS% }. \NAMECITE{symmetry}{% Wahl:2010:LAS% }. \NAMECITE{Synchronisable}{% Faconti:1998:MVP% }. \NAMECITE{Synchronisation}{% Bowman:1998:AVL,% Stewart:2004:BSA,% Stewart:2011:PMB% }. \NAMECITE{synchronization}{% Barsotti:2007:VCS,% Diskin:2019:MMS,% Diskin:2020:CMM% }. \NAMECITE{synchronizing}{% Gunicen:2014:RBP% }. \NAMECITE{synchronous}{% Hayes:2019:SPA,% He:2005:EOS,% Nebut:2004:SAS% }. \NAMECITE{Syntax}{% Gabbay:2002:NAA,% Fassbender:1992:ISD% }. \NAMECITE{Synthesis}{% Badouel:2002:DFA,% Bacci:2021:ORC,% Bagheri:2016:MDS,% Bersani:2020:PSR,% Bhaduri:2008:ISP,% Ceska:2021:CGI,% Chatterjee:2014:AGS,% Fraser:2020:CMA,% Noel:1995:TBS,% Slind:2007:PPS% }. \NAMECITE{Synthesizing}{% Bochmann:2017:SVC,% Bonakdarpour:2015:SBT,% Khakpour:2016:SSB% }. \NAMECITE{System}{% Back:2003:CAS,% Bertot:1999:CSD,% Butterworth:2000:DCP,% Cimatti:1998:FVR,% Arcaini:2016:ABF,% Bagheri:2018:FAD,% Banach:2014:CKA,% Basile:2021:AAT,% Bouneb:2015:RML,% Brebner:1993:CBI,% Butler:2008:IDM,% Carr:2004:IUV,% Ciobaca:2016:LIP,% Damiani:2014:VTI,% Fiadeiro:1992:TTM,% Geisler:2021:SDM,% Hennessy:1991:PSC,% Hesselink:2012:FHF,% Kazmierczak:1992:MSS,% Konur:2014:FVP,% Krogdahl:1997:VDL,% Lanotte:2007:PPT,% Lee:2004:BTS,% Li:2018:ETS,% Ma:2015:VDS,% Mammar:2015:PBV,% Muhlberg:2012:VCF,% Pomello:1992:ACE,% Russinoff:1992:VSC,% Seidel:1996:SDV,% Seldin:1992:CCC,% Smith:2009:MCA,% Stankaitis:2021:RBD,% Williams:2020:LDD,% Zhu:2015:DSA% }. \NAMECITE{system-level}{% Zhu:2015:DSA% }. \NAMECITE{systematic}{% Fokker:1992:SCO% }. \NAMECITE{Systems}{% Arias:2001:SMF,% Bos:2003:RSE,% Butler:2002:UDR,% Cardell-Oliver:2000:CTR,% Cowling:2000:SWU,% Derrick:2003:SRS,% Genrich:2002:DQN,% Gheorghe:2000:GSX,% Grosse-Rhode:2002:CCF,% Grosu:2001:SBS,% Inverardi:1994:APR,% Ipate:2002:TCC,% Jin:2021:ISN,% Ochsenschlager:1998:SVT,% Pitt:1999:OAP,% Stannett:1994:ICS,% Stunkel:2021:CSF,% Wang:2017:CMV,% Wing:2000:FWC,% Alagar:1991:FSP,% Albert:2015:QAC,% Alencar:1996:LFE,% Andrade:2012:TIR,% Antonino:2019:EVC,% Arthan:2013:HLL,% Back:1996:SRR,% Banach:2013:MGFa,% Banach:2013:MGFb,% Barnat:2016:ASR,% Bhattacharyya:2017:ECF,% Borger:2007:CAG,% Botaschanjan:2008:CUL,% Braghin:2011:MCB,% Burns:2007:EPV,% Butler:1995:ASU,% Carvalho:2016:MTR,% Ceska:2021:CGI,% Chandy:2011:VDS,% Chane-Yack-Fa:2018:PVM,% Cordy:2021:SMC,% Costa:1995:PAC,% DiGiusto:2016:EBR,% Dierks:2004:CMC,% Dixit:2014:TBC,% Dybjer:1989:FPA,% Ehmety:2005:MCR,% Fidge:1997:ABF,% Fraser:2020:CMA,% Gerhold:2018:MBT,% Graf:1996:CMF,% Grinchtein:2008:NIR,% Hallerstede:2004:PAP,% Haxthausen:2011:FAC,% He:1990:IPT,% Hennessy:1996:PSM,% Hennicker:2021:HDL,% Herzberg:2005:MLD,% Hierons:2012:UST,% Hoang:2013:SID,% Huang:2017:CMB,% Jebali:2016:FMV,% Kang:2007:PDV,% Khakpour:2016:SSB,% Kirwan:2016:MCL,% Lanotte:2007:PPT,% Lescanne:1995:TRS,% Lopes:2004:SCV,% Lynch:1995:CST,% Ma:2015:VDS,% Mathis:2010:FGC,% Maung:1995:SSS,% Montali:2016:MCP,% Moran:2014:VAV,% Nazarpour:2017:CPS,% Olderog:2015:STD,% Oliveira:2016:RDC,% Paiva:2016:GCT,% Peleska:2021:EDV,% Polyvyanyy:2015:UNA,% Rabanal:2013:TRS,% Rashid:2020:FVR,% Risi:2012:UFF,% Ronn:1996:ICT,% Rossi:2021:MAC,% Runde:2013:RCS,% Sherif:2010:PAF,% Siddique:2016:FAG,% Sinclair:1995:ERS,% Slanina:2008:DVA,% Su:2009:PAM,% Subramani:2013:IAO,% Thomas:1989:DMT,% Xie:2021:PCB,% Yang:2021:EAI,% Zhou:1996:CVR,% Banach:2019:BRJ,% Knapp:2020:BRA% }. \NAMECITE{systolic}{% Abdulla:1992:AVC,% Lengauer:1990:PSP% }. \NAMECITE{tableau}{% Reynolds:2011:TBD% }. \NAMECITE{tableau-based}{% Reynolds:2011:TBD% }. \NAMECITE{Tables}{% vonMohrenschildt:2000:ACF,% Zucker:1996:TNI% }. \NAMECITE{Tabular}{% Sekerinski:2003:ETV% }. \NAMECITE{Tactic}{% Oliveira:2003:ATL,% Martin:1996:TCA% }. \NAMECITE{Tactics}{% Takahashi:1999:PEH,% Zeyda:2012:MSS% }. \NAMECITE{tale}{% Archibald:2021:TTG% }. \NAMECITE{Tank}{% Schneider:2006:TMP% }. \NAMECITE{{Tarski}}{% Jonker:1998:KTR% }. \NAMECITE{task}{% Sinnig:2011:POS% }. \NAMECITE{tasks}{% Cheng:2015:UFR% }. \NAMECITE{tccp}{% Comini:2017:PAF% }. \NAMECITE{{TCOZ}}{% Mahony:2002:DSL% }. \NAMECITE{{TCSP}}{% Mahony:2002:DSL% }. \NAMECITE{teaching}{% Back:2009:IBP,% Back:2010:SDU,% Feinerer:2009:CTT,% Pedersen:2018:SCV% }. \NAMECITE{technique}{% dePutter:2018:FVT% }. \NAMECITE{Techniques}{% Dams:1998:POR,% Wehrheim:2000:DAT,% Abed:2013:AVR,% Derrick:2018:MPO,% Hillston:2007:FTP,% Jonsson:2012:URC,% Lynch:1995:CST,% McKeever:2006:PCH% }. \NAMECITE{teleo}{% Dongol:2014:RAG% }. \NAMECITE{teleo-reactive}{% Dongol:2014:RAG% }. \NAMECITE{Teller}{% Dissoubray:2000:DAT% }. \NAMECITE{template}{% Wu:2014:FRD% }. \NAMECITE{Temporal}{% Cau:2000:CRD,% Derrick:2012:TLP,% Fiadeiro:1992:TTM,% Zhou:1996:CVR,% Barua:2004:CCN,% Baumler:2011:PLT,% Fisher:1992:MCL,% Gorogiannis:2007:MRSa,% Gorogiannis:2007:MRSb,% Gorogiannis:2007:MRSc,% He:1990:IPT,% Hoang:2016:FUL,% Liu:2004:UPM,% Lowe:2008:SCP,% Moszkowski:2017:ATP,% Noel:1995:TBS,% Scholefield:1996:RTR,% Sistla:1994:SLF,% Sotudeh:2015:AAF,% Tsay:2009:TSL% }. \NAMECITE{Temporal-logic}{% Derrick:2012:TLP% }. \NAMECITE{Term}{% Nipkow:1989:TRB,% Delzanno:2008:RAF% }. \NAMECITE{Termination}{% Lescanne:1995:TRS,% Babic:2013:PTN,% Bouyer:2012:TIF,% Howells:2009:CMF,% Xia:2011:SDP% }. \NAMECITE{Terms}{% Fokker:1992:SCO,% Devillers:2008:CPN% }. \NAMECITE{Test}{% Cavalcanti:2014:TDG,% Ipate:2000:GTS,% Nogueira:2014:TGS,% Cavarra:2011:DFA,% El-Fakih:2018:ADT,% Hierons:2012:UST,% Paiva:2016:GCT% }. \NAMECITE{Test-data}{% Cavalcanti:2014:TDG% }. \NAMECITE{Testing}{% Aichernig:2003:MTR,% Andrade:2012:TIR,% Bogdanov:2006:TMX,% Cleaveland:1993:TEB,% Gaudel:1998:TAD,% Hierons:2000:TCQ,% Hierons:2008:TDI,% Ipate:2002:TCC,% Rabanal:2013:TRS,% Schneider:2000:ATC,% Aichernig:2009:MTU,% Brucker:2013:TPB,% Deng:2012:CTP,% Feo-Arenis:2016:RTE,% Georgievska:2012:PMM,% Gerhold:2018:MBT,% Gunter:2005:MCT,% Hallal:2006:FAP,% Huang:2017:CMB,% Ipate:2004:CDS,% Ipate:2016:UIC,% Keshishzadeh:2016:FTC,% Kim:2012:CTM,% Murray:2013:LRT,% Petiot:2018:HTH,% Stannett:2006:STA,% Taha:2015:CAB,% Ural:2006:CCS,% Vilkomir:2006:MDR,% Yang:2011:IGB% }. \NAMECITE{Tests}{% Cardell-Oliver:2000:CTR,% Dubois:2018:TPC,% Julliand:2011:GTB,% Aichernig:2018:SST% }. \NAMECITE{Textbook}{% Nipkow:1998:WAR% }. \NAMECITE{{TFA}}{% Zhuo:2020:TEP% }. \NAMECITE{Their}{% Glesner:2006:FIC,% Jifeng:2003:AFD,% Banach:2010:AAT,% Borger:2007:CAG,% Collinson:2007:EBA,% Janneck:2003:ATC,% Leifer:2002:SLA,% Mathis:2010:FGC% }. \NAMECITE{Theorem}{% Goguen:1999:SSA,% Brucker:2013:TPB,% Gottliebsen:2013:ARN,% Moore:2019:MPL,% Nipkow:1989:TRB,% Spivey:1996:CTF% }. \NAMECITE{theorems}{% Schneider:2005:CTC% }. \NAMECITE{theoretic}{% Dennis-Jones:1993:CMC,% Saleh:2010:GTF% }. \NAMECITE{Theoretical}{% Sheng:2020:TPA% }. \NAMECITE{Theories}{% Hesselink:1997:TMP,% Robinson:2002:VAM,% Cavalcanti:2006:ANU,% Chen:2013:SIU,% Fiadeiro:1992:TTM,% Jacobs:2007:CCT,% Oliveira:2013:UTP,% Kroening:2009:FSM% }. \NAMECITE{Theory}{% Barendregt:2002:ATM,% Bowen:2020:BRG,% Broy:2003:EWT,% Gaudel:1998:TAD,% Pollack:2002:DTR,% Backhouse:1989:DIY,% Barrett:1991:FPT,% Baumann:1991:TSB,% Boudol:1994:TPL,% Fioriti:2016:DPA,% Hedberg:1991:NAL,% Henson:1989:PDC,% Kassios:2011:DFT,% Laneve:2015:ATW,% Llano:2014:DIT,% Mukherjee:1995:TOS,% Nazarpour:2017:CPS,% Ronn:1996:ICT,% Sampath:2014:ETP,% Shi:2018:FAK,% Coupet-Grimal:2004:CCT% }. \NAMECITE{Thomas}{% Konnov:2019:BRE% }. \NAMECITE{Thread}{% Bergstra:2007:TAS,% Bergstra:2011:TAP% }. \NAMECITE{Threaded}{% Poch:2013:TBP,% Beckert:2013:DLD,% Nazarpour:2017:CPS% }. \NAMECITE{threading}{% Bergstra:2011:TAP% }. \NAMECITE{Three}{% Kiefer:2012:TTH,% Plotkin:2002:TIM% }. \NAMECITE{{TIC}}{% Quemada:1993:TTC% }. \NAMECITE{Time}{% Cardell-Oliver:2000:CTR,% Dixit:2014:TBC,% Hehner:1998:FTS,% Hung:1999:PDC,% Leonard:1998:FDT,% Lermer:2003:LAE,% Paynter:2000:AAD,% Smith:2002:IRT,% Wildman:2003:VVA,% Al-Bataineh:2015:AWC,% Alagar:1991:FSP,% Baeten:1991:RTP,% Baeten:1996:DTP,% Baresi:2020:UFV,% Bonakdarpour:2015:SBT,% Bowman:2006:HST,% Burns:2007:EPV,% Ciobanu:2015:SBS,% Dams:1998:POR,% Davies:1993:RIR,% DiGiusto:2016:EBR,% Dierks:2004:CMC,% Dongol:2014:RAG,% Fidge:1997:ABF,% Fisher:1992:MCL,% Franzle:2004:MCD,% Grinchtein:2008:NIR,% Hansson:1994:LRA,% Hatefi:2017:CVT,% Hooman:1994:EHL,% Kang:2007:PDV,% Liu:1995:VSR,% Markovski:2012:RRS,% Olderog:2015:STD,% Scholefield:1996:RTR,% Sherif:2010:PAF,% Tofts:1994:PPP,% Zhou:1996:CVR% }. \NAMECITE{Time-budgeting}{% Dixit:2014:TBC% }. \NAMECITE{Timed}{% Cardell-Oliver:2000:CTR,% Neykova:2017:TRM,% Tini:2004:TCC,% Al-Bataineh:2015:AWC,% Bacci:2021:ORC,% Boucheneb:2008:ITC,% Carvalho:2016:MTR,% Cattani:2005:RBP,% DeWulf:2005:AAS,% Gomez:2013:MCT,% Liu:2004:UPM,% Lynch:1996:ATT,% Quemada:1993:TTC,% Renard:2020:RET,% Roscoe:2013:CNT% }. \NAMECITE{timetable}{% Schneider:2018:MBP% }. \NAMECITE{Timing}{% Huang:2020:MVT,% Ruksenas:2014:CHE% }. \NAMECITE{{TK}}{% Henson:1989:PDC% }. \NAMECITE{to-alway}{% Dijkstra:1997:PTP% }. \NAMECITE{{Tobias}}{% Hallerstede:2018:BRT% }. \NAMECITE{together}{% Gunter:2005:MCT% }. \NAMECITE{tokens}{% Kiefer:2012:TTH% }. \NAMECITE{tolerance}{% Demasi:2017:SRF,% Liu:1992:TPF% }. \NAMECITE{tolerant}{% Bevier:1992:MCP% }. \NAMECITE{Tool}{% Ochsenschlager:1998:SVT,% Tsay:2009:TSL,% Evans:2007:ITS,% Fathabadi:2015:LTS,% Luteberget:2021:DSF,% Mota:2015:MCC% }. \NAMECITE{{Toolbox}}{% Burton:1989:SAM% }. \NAMECITE{tools}{% Armstrong:2016:BPC,% Barsotti:2007:VCS,% Feinerer:2009:CTT,% McKeever:2006:PCH,% Nielsen:1989:RLM% }. \NAMECITE{topological}{% Menghi:2021:TWM% }. \NAMECITE{{TOrPEDO}}{% Menghi:2021:TWM% }. \NAMECITE{Tournaments}{% Hesselink:2017:TME% }. \NAMECITE{Trace}{% Groves:2009:TBD,% Bloom:1994:WPT,% Smith:2017:RTR% }. \NAMECITE{Trace-based}{% Groves:2009:TBD% }. \NAMECITE{traces}{% Butler:1995:ASU,% Derrick:2014:RCR,% Hallal:2006:FAP% }. \NAMECITE{traffic}{% Bochmann:2017:SVC% }. \NAMECITE{train}{% Banach:2014:CKA% }. \NAMECITE{traits}{% Damiani:2014:VTI% }. \NAMECITE{tramway}{% Basile:2021:AAT% }. \NAMECITE{transactional}{% Doherty:2013:TFS% }. \NAMECITE{transactions}{% Haneberg:2008:VME,% Liu:2019:RAT% }. \NAMECITE{transducers}{% Lynch:1996:ATT% }. \NAMECITE{Transformation}{% Grosse-Rhode:2002:CCF,% Kreowski:1999:GTU,% Liu:1992:TPF,% Hesselink:1990:CAR,% Lano:2015:FMT,% Noel:1995:TBS,% Struber:2018:VBM,% Taha:2015:CAB,% deLara:2010:ATB% }. \NAMECITE{transformation-based}{% Noel:1995:TBS,% deLara:2010:ATB% }. \NAMECITE{transformational}{% Partsch:1990:FPM% }. \NAMECITE{Transformations}{% Zucker:1996:TNI,% Keshishzadeh:2016:FTC,% Lieberherr:1994:OEC,% Olderog:2015:STD,% Pettorossi:2012:CBC,% Zhao:2009:GTO,% dePutter:2018:FVT% }. \NAMECITE{transformer}{% Dijkstra:1997:PTP% }. \NAMECITE{Transformers}{% Hesselink:1999:PTR,% Rewitzky:1995:PTP% }. \NAMECITE{Transforming}{% Antoy:2017:TBE% }. \NAMECITE{transition}{% Bouneb:2015:RML,% He:1990:IPT,% Hoang:2013:SID,% Lanotte:2007:PPT,% Li:2018:ETS,% Paiva:2016:GCT,% Yamagata:2014:FSE% }. \NAMECITE{Translating}{% Lang:2010:TFL% }. \NAMECITE{translation}{% Derrick:2011:ZTB,% Devillers:2008:CPN,% Wray:1994:CTD% }. \NAMECITE{translation-based}{% Derrick:2011:ZTB% }. \NAMECITE{Treatment}{% Dingel:1998:TFT,% Back:2005:ATP,% Owe:1992:ATP% }. \NAMECITE{Tree}{% Abrial:2003:MPI,% Calder:2003:USA,% Hesselink:1999:VID,% Maharaj:2003:ITI,% Romijn:2003:FLD,% Schuppan:2003:VIF,% Shankland:1998:TIP,% Verdejo:2003:SVT,% Jing:2018:CTM,% Wissmann:2021:GPR% }. \NAMECITE{Trees}{% Lindsay:2012:CSA,% Banach:2013:MGFa,% Banach:2013:MGFb,% Junges:2017:FTD% }. \NAMECITE{Tribute}{% vanLamsweerde:2011:HHR% }. \NAMECITE{Triple}{% Bozzano:2021:MBS,% Weidmann:2021:SCC% }. \NAMECITE{trusted}{% Thomas:1989:DMT% }. \NAMECITE{trustworthy}{% Merro:2013:CTA% }. \NAMECITE{Turing}{% Jones:2017:BRT,% Stannett:1990:XMH% }. \NAMECITE{{Turski}}{% Tarlecki:2014:WMT% }. \NAMECITE{Two}{% Koutny:1997:TIR,% Archibald:2021:TTG,% Bicarregui:1998:IIT,% Bornat:2013:ETN,% Derrick:2018:MPO,% Tenzer:2006:MRC% }. \NAMECITE{Type}{% Balanescu:2000:GSX,% Minamide:1994:SAB,% Palsberg:1997:TIN,% Pollack:2002:DTR,% Stoddart:1993:TIS,% Backhouse:1989:DIY,% Beierle:1996:SCP,% Hedberg:1991:NAL,% Johnson:2013:DTS,% Lee:2004:BTS,% Spivey:1996:CTF,% Coupet-Grimal:2004:CCT% }. \NAMECITE{Typed}{% Pasqualin:2015:TCA,% Pollack:2002:DTR,% Beierle:1996:RTW% }. \NAMECITE{Types}{% Gaudel:1998:TAD,% Hindley:1992:TII,% Kondoh:2003:ADT,% Apt:1994:RAP,% Beckert:2005:RRP,% Beierle:1996:RTW,% Spivey:1996:RTZ% }. \NAMECITE{typing}{% Gordon:2005:VWS% }. \NAMECITE{{UI}}{% Siekmann:1999:LUI% }. \NAMECITE{UK}{% Jones:2017:BRT% }. \NAMECITE{{UML}}{% Andre:2016:FCU,% Carr:2004:IUV,% Dupuy:2000:MFA,% Kuhlmann:2008:MVM,% Latella:1999:AVB,% Moller:2008:IFM% }. \NAMECITE{Un-}{% Gurgens:2005:SAE% }. \NAMECITE{unbounded}{% Barrett:1991:FPT,% Butler:1995:ASU% }. \NAMECITE{uncertainty}{% Bacci:2021:ORC% }. \NAMECITE{unchanged}{% Pitt:1994:RSU% }. \NAMECITE{under-determined}{% Larsen:1996:SUD% }. \NAMECITE{underspecification}{% Runde:2013:RCS% }. \NAMECITE{Unification}{% Rewitzky:1998:UFV,% Spivey:1995:UCS,% Stoddart:2013:UPC% }. \NAMECITE{Unified}{% Davies:2003:CRU,% Foster:2021:IFP,% Tenzer:2006:MRC,% Back:2010:SDU,% BohorquezV:2010:EUA,% Ipate:2016:UIC% }. \NAMECITE{Unifying}{% Bao:2018:USL,% Gaudel:1998:TAD,% Liu:2004:UPM,% Oliveira:2013:UTP,% Cavalcanti:2006:ANU,% Chen:2013:SIU% }. \NAMECITE{unique}{% Baier:1997:CBI% }. \NAMECITE{Units}{% Kreowski:1999:GTU,% Fiadeiro:1992:TTM,% Hayes:1995:UUM% }. \NAMECITE{{UNITY}}{% Dijkstra:1995:DSF,% Hesselink:2021:UBA,% Prasetya:1994:EUS,% Sanders:1991:ESA% }. \NAMECITE{universe}{% Massart:1993:EAE% }. \NAMECITE{University}{% Jones:2017:BRT,% Schneider:2018:MBP% }. \NAMECITE{unprivileged}{% Daum:2014:CUU% }. \NAMECITE{Untanglings}{% Polyvyanyy:2015:UNA% }. \NAMECITE{Update}{% Fitzgerald:2004:FME% }. \NAMECITE{updates}{% Liu:2019:RAT% }. \NAMECITE{{Uppaal}}{% Basile:2021:AAT,% Bowman:1998:AVL,% Gomez:2013:MCT,% Vaandrager:2006:ABM% }. \NAMECITE{upper}{% Botaschanjan:2008:CUL% }. \NAMECITE{Use}{% Butler:2002:UDR,% Cowling:2000:SWU,% Josephs:1997:USA,% Moore:1994:FMA,% Nogueira:2014:TGS,% Sinnig:2011:POS,% Kuhlmann:2008:MVM% }. \NAMECITE{{UseCase}}{% Banach:2011:REB% }. \NAMECITE{{UseCase-wise}}{% Banach:2011:REB% }. \NAMECITE{User}{% Bornat:1999:MGU,% Duke:1999:CSS,% Goguen:1999:SSA,% Siekmann:1999:LUI,% Basuki:2009:MCU,% Bowen:2009:RUI,% Chalin:2007:LFV,% Daum:2014:CUU% }. \NAMECITE{Using}{% Baresi:2020:UFV,% Bowman:1998:AVL,% Browne:2000:CPS,% Calder:2003:USA,% Cheng:2015:UFR,% Dierks:2000:MVC,% Dingel:1998:TFT,% Gordon:2003:VPS,% Grosse-Rhode:2002:CCF,% Hayes:1995:UUM,% Hierons:2012:UST,% Jonsson:2012:URC,% Korver:1998:EVU,% Larsen:2000:UVM,% Latella:1999:AVB,% Norman:2005:UPM,% OHalloran:1997:UFS,% Risi:2012:UFF,% Wright:2011:UEB,% Alrajeh:2010:DNZ,% Andre:2016:FCU,% Antonino:2019:EVC,% Bacci:2021:ORC,% Basuki:2009:MCU,% Betin-Can:2007:HDC,% Bowman:1999:ACB,% Brown:1996:RHC,% Chapman:1990:DAI,% Cimatti:1998:FVR,% Codish:2017:OSA,% Dabaghchian:2015:MCO,% Dobrikov:2016:OPM,% Geisler:2021:SDM,% George:2008:SPM,% Graf:1996:CMF,% Hallerstede:2012:EPV,% Hoang:2016:FUL,% Huang:2020:MVT,% Jebali:2016:FMV,% Kirwan:2016:MCL,% Kroening:2010:VFP,% Larsen:2009:POC,% Lindsay:2012:CSA,% Montali:2016:MCP,% Moran:2014:VAV,% Oliveira:2016:RDC,% Rashid:2020:FVR,% Renard:2020:RET,% Sistla:1999:PVL,% Smith:2006:VDR,% Stewart:2013:RAO,% Stolen:1996:SRN,% Su:2014:ANM,% Vekris:2016:VEE,% Vekris:2016:VES,% Walker:1989:AAM,% Ward:2014:PCD,% Williams:2020:LDD,% Yamagata:2014:FSE% }. \NAMECITE{{UTP}}{% Aichernig:2009:MTU,% Ngondi:2021:DSC,% Oliveira:2009:USC,% Sheng:2020:TPA,% Shi:2018:USC,% Xie:2018:UAR% }. \NAMECITE{{UTP-CSP}}{% Ngondi:2021:DSC% }. \NAMECITE{Valediction}{% Jones:2008:V% }. \NAMECITE{Validate}{% Larsen:2000:UVM% }. \NAMECITE{Validating}{% Gordon:2003:VPS,% Gordon:2005:VWS,% Vassiliou-Gioles:1998:CSP,% Borger:2007:CAG,% Chen:2009:FFM,% Kuhlmann:2008:MVM% }. \NAMECITE{Validation}{% Dupuy:2000:MFA,% Slotosch:2000:MVA,% Vassiliou-Gioles:1998:CSP,% Wehrheim:2000:DAT,% Peleska:2021:EDV,% Schneider:2018:MBP,% Sherif:2010:PAF% }. \NAMECITE{Value}{% Nesi:1999:FVP,% Hennessy:1991:PSC,% Hennessy:1993:CPV,% Naumann:1995:DRC% }. \NAMECITE{Value-Passing}{% Nesi:1999:FVP,% Hennessy:1991:PSC,% Hennessy:1993:CPV% }. \NAMECITE{Variability}{% Struber:2018:VBM,% Cordy:2021:SMC,% Dimovski:2019:FSV% }. \NAMECITE{Variability-based}{% Struber:2018:VBM% }. \NAMECITE{variability-intensive}{% Cordy:2021:SMC% }. \NAMECITE{Variable}{% Dingel:2002:RCS,% Gabbay:2002:NAA,% Bornat:2013:ETN,% Hesselink:2004:APC,% Xu:1997:RGM% }. \NAMECITE{Variables}{% Hesselink:1999:PTR,% Kleymann:1999:HLA,% Wildman:2003:VVA,% Owe:1992:ATP,% Paynter:2004:RMB,% Shi:2018:USC% }. \NAMECITE{variants}{% Tenzer:2006:MRC% }. \NAMECITE{Variations}{% Robinson:2002:VAM,% Sampath:2014:ETP% }. \NAMECITE{Variety}{% Wildman:2003:VVA% }. \NAMECITE{{VDM}}{% Coenen:1995:HLV,% Hayes:1992:VZC,% Larsen:2009:POC,% Middelburg:1989:VLS,% Middelburg:1992:MSV,% Mosses:2011:VSP% }. \NAMECITE{{VDMTools}}{% Larsen:2000:UVM% }. \NAMECITE{{VDX}}{% Huang:2020:MVT% }. \NAMECITE{Veith}{% Konnov:2019:BRE% }. \NAMECITE{Verhoef}{% Banach:2019:BRJ% }. \NAMECITE{verifiable}{% Joshi:2007:MCB% }. \NAMECITE{Verification}{% Badban:2005:VSW,% Barsotti:2007:VCS,% Boralv:1998:CSF,% Bowman:1998:AVL,% Browne:2000:CPS,% Chandy:2011:VDS,% Cimatti:1998:FVR,% Doherty:2000:RRV,% Faconti:1998:MVP,% Haneberg:2008:VME,% Huang:2020:MVT,% Jifeng:1994:SVP,% Kroening:2010:VFP,% Krogdahl:2002:VPM,% Latella:1999:AVB,% Liu:1995:VSR,% Ma:2015:VDS,% Ochsenschlager:1998:SVT,% Rashid:2020:FVR,% Ruksenas:2009:VGM,% Sekerinski:2003:ETV,% Sistla:1999:PVL,% Stoelinga:2003:FFC,% Tran:2021:VPD,% Vekris:2016:VEE,% Vekris:2016:VES,% Verdejo:2003:SVT,% Wang:2017:CMV,% Wu:2021:SVS,% Yang:2021:ERV,% Abdulla:1992:AVC,% Abed:2013:AVR,% Antonino:2019:EVC,% Antoniou:1994:VM,% Armstrong:2016:BPC,% Avalle:2014:FVS,% Back:2005:ATP,% Baresi:2020:UFV,% Beckert:2013:DLD,% Beillahi:2019:MVF,% Betin-Can:2007:HDC,% Braghin:2011:MCB,% Brown:2011:AVR,% Burns:2007:EPV,% Ceska:2007:GMP,% Chaki:2005:CSV,% Chane-Yack-Fa:2018:PVM,% Charlton:2007:PVI,% Curzon:2007:AFV,% Dong:2014:TVC,% Dybjer:1989:FPA,% Evangelidis:2021:QVK,% Feinerer:2009:CTT,% Feo-Arenis:2016:RTE,% Graiet:2017:VDA,% Groote:2005:CCA,% Gunter:2005:MCT,% Hallerstede:2012:EPV,% Haxthausen:2011:FAC,% He:1990:IPT,% Hesselink:2017:TME,% Jebali:2016:FMV,% Kang:2007:PDV,% Kindler:1997:PNB,% Konur:2014:FVP,% Kwiatkowska:2012:PVH,% Lahouij:2020:EBB,% Lano:2015:FMT,% Leavens:2007:SVC,% Lechenet:2018:CBB,% Letan:2021:MVP,% Leuschel:2011:APV,% Mammar:2015:PBV,% Marmsoler:2019:IVA,% Masalagiu:2009:RMS,% Menghi:2019:VDF,% Miyazawa:2014:RBV,% Orava:1992:AVM,% Pedersen:2018:SCV,% Ruksenas:2014:CHE,% Russinoff:1992:VSC,% Saleh:2010:GTF,% Schreiner:2009:RPP,% Slanina:2008:DVA,% Smans:2010:AVJ,% Wiik:2016:CBV,% Ying:2019:TAV,% Yousefi:2017:MEV,% Zhang:2018:FVQ,% Zhou:1996:CVR,% dePutter:2018:FVT,% Ochsenschlager:1998:SVT% }. \NAMECITE{verification-driven}{% Menghi:2019:VDF% }. \NAMECITE{Verification-guided}{% Ruksenas:2009:VGM% }. \NAMECITE{Verifications}{% Korver:1998:EVU,% Roux:1999:HVR,% Bezem:1997:FPA% }. \NAMECITE{Verified}{% Hesselink:1999:VID,% OLeary:1997:VCC,% Bicarregui:2006:VSR,% Polikarpova:2018:FVC,% Russinoff:1994:MVI% }. \NAMECITE{verifier}{% Sitaraman:2011:BPB% }. \NAMECITE{Verifying}{% Basin:2007:VSA,% Chalin:2007:LFV,% Damiani:2014:VTI,% Derrick:2021:VCP,% Dierks:2000:MVC,% Krogdahl:1997:VDL,% Moran:2014:VAV,% Muhlberg:2012:VCF,% Parent-Vigouroux:1997:VPC,% Schuppan:2003:VIF,% Smith:2006:VDR,% Bicarregui:2006:VSR,% Bochmann:2017:SVC,% Doherty:2013:TFS,% Lynch:1995:CST,% Moore:1994:FMA,% Xu:1997:RGM% }. \NAMECITE{Verlag}{% Hallerstede:2018:BRT,% Monahan:2018:BRD% }. \NAMECITE{version}{% Faitelson:2017:IDD,% Martin:1996:TCA,% Tappler:2021:BLM% }. \NAMECITE{Versions}{% Rewitzky:1998:UFV% }. \NAMECITE{versus}{% Carmo:1990:BVL,% Hoang:2014:ANI,% Lowe:2008:SCP% }. \NAMECITE{{VHDL}}{% Carr:2004:IUV% }. \NAMECITE{via}{% Banach:2013:MGFa,% Banach:2013:MGFb,% Cavalcanti:2011:CLD,% Jones:2011:ECA,% Jorges:2011:APC,% Paynter:2004:RMB,% Weidmann:2021:SCC,% Yang:2021:ERV% }. \NAMECITE{view}{% Aceto:1994:SVL,% Haigh:2019:APF% }. \NAMECITE{views}{% Ehrig:2010:CIM% }. \NAMECITE{Virtual}{% Flammini:2021:CMR,% Seidel:1996:SDV,% Zhuo:2020:TEP% }. \NAMECITE{visual}{% deLara:2010:ATB% }. \NAMECITE{visualizing}{% John:2013:CVC% }. \NAMECITE{{VLSI}}{% Williams:1993:ADP% }. \NAMECITE{Volume}{% Anonymous:2003:CV,% Michaelson:2019:BRB% }. \NAMECITE{voting}{% Misra:2012:SVS,% Moran:2014:VAV% }. \NAMECITE{vs}{% Hatefi:2017:CVT,% Lopes:2004:SCV% }. \NAMECITE{VSTTE}{% Cooke:2007:EVS% }. \NAMECITE{{VVSL}}{% Middelburg:1989:VLS,% Middelburg:1992:MSV% }. \NAMECITE{Wait}{% Fidge:2003:WID% }. \NAMECITE{{WAM}}{% Beierle:1996:RTW,% Beierle:1996:SCP% }. \NAMECITE{Want}{% Fidge:2003:WID% }. \NAMECITE{Warner}{% Bjorner:2008:JWB% }. \NAMECITE{{Warshall}}{% Hofner:2012:DFW% }. \NAMECITE{Way}{% Cowling:2000:SWU% }. \NAMECITE{weak}{% Boulgakov:2016:CMW,% Fioriti:2016:DPA,% Smith:2020:LHW% }. \NAMECITE{Weakest}{% Lukkien:1992:WPP,% Bonsangue:1994:WPC% }. \NAMECITE{Weakness}{% Cavezza:2021:WMG% }. \NAMECITE{web}{% Gordon:2005:VWS,% Laneve:2015:ATW,% Stewart:2013:RAO,% Rosaci:2015:FSA% }. \NAMECITE{weighted}{% Wissmann:2021:GPR% }. \NAMECITE{Where}{% Broy:2003:EWT% }. \NAMECITE{White}{% Hesselink:2016:CCC% }. \NAMECITE{who}{% Bornat:2009:PLC% }. \NAMECITE{wide}{% Colvin:2017:DSM% }. \NAMECITE{wide-spectrum}{% Colvin:2017:DSM% }. \NAMECITE{Wilson}{% Jones:2017:BRT% }. \NAMECITE{Window}{% Hofstee:1995:JVS,% Badban:2005:VSW,% vandeSnepscheut:1995:SWP% }. \NAMECITE{{Winskel}}{% Nipkow:1998:WAR% }. \NAMECITE{wireless}{% Archibald:2021:TTG,% Elleuch:2015:FPA,% Yousefi:2017:MEV% }. \NAMECITE{wise}{% Molnar:2016:CWI,% Banach:2011:REB% }. \NAMECITE{within}{% Stoddart:2013:UPC% }. \NAMECITE{witnessing}{% Menghi:2021:TWM% }. \NAMECITE{{W{\l}adys{\l}aw}}{% Tarlecki:2014:WMT% }. \NAMECITE{workbench}{% Corrodi:2018:SCW% }. \NAMECITE{workflow}{% vanderAalst:2011:SWN% }. \NAMECITE{working}{% Gunter:2005:MCT% }. \NAMECITE{World}{% Wing:2000:FWC% }. \NAMECITE{worst}{% Al-Bataineh:2015:AWC% }. \NAMECITE{wrappers}{% Hense:1993:DSO% }. \NAMECITE{write}{% Lamport:1994:HWL% }. \NAMECITE{www.concrete-semantics.org}{% Hallerstede:2018:BRT% }. \NAMECITE{www.decision-procedures.org}{% Monahan:2018:BRD% }. \NAMECITE{Wybe}{% Apt:2002:EWD% }. \NAMECITE{x}{% Hallerstede:2018:BRT,% Balanescu:2000:GSX,% Bogdanov:2006:TMX,% Cowling:2000:SWU,% Gheorghe:2000:GSX,% Hierons:2000:TCQ,% Hierons:2008:TDI,% Holcombe:2000:WXM,% Ipate:2000:GTS,% Ipate:2002:TCC,% Ipate:2004:CDS,% Ipate:2016:UIC,% Stannett:1990:XMH% }. \NAMECITE{{X}-Machine}{% Cowling:2000:SWU,% Hierons:2000:TCQ,% Hierons:2008:TDI,% Ipate:2002:TCC,% Ipate:2004:CDS,% Ipate:2016:UIC% }. \NAMECITE{{X}-Machines}{% Balanescu:2000:GSX,% Gheorghe:2000:GSX,% Holcombe:2000:WXM,% Ipate:2000:GTS,% Bogdanov:2006:TMX,% Stannett:1990:XMH% }. \NAMECITE{{xSAP}}{% Bozzano:2021:MBS% }. \NAMECITE{xv}{% Jones:2017:BRT% }. \NAMECITE{xxi}{% Bowen:2018:BRE,% Monahan:2018:BRD% }. \NAMECITE{xxii}{% Banach:2019:BRJ% }. \NAMECITE{years}{% Apt:2019:FYH% }. \NAMECITE{{Yonezawa}}{% deGroote:1998:NKY% }. \NAMECITE{yourself}{% Backhouse:1989:DIY% }. \NAMECITE{{Z}}{% Cavalcanti:1998:ZRC,% Derrick:1998:SRI,% Derrick:2002:CCS,% Derrick:2003:SRS,% Derrick:2011:ZTB,% Derrick:2012:TLP,% Freitas:2008:MMZ,% Hayes:1992:VZC,% Henson:1998:SLZ,% Henson:1999:RZPa,% Henson:1999:RZPb,% Henson:2006:SL,% Houston:1994:SDC,% King:1999:SLZ,% Mahony:2002:DSL,% Martin:2000:RZF,% Oliveira:2013:UTP,% Smith:1995:FAS,% Smith:2002:IRT,% Spivey:1996:CTF,% Spivey:1996:RTZ,% Suhl:2002:OIF% }. \NAMECITE{{Z/Eves}}{% Freitas:2008:MMZ% }. \NAMECITE{{Z2SAL}}{% Derrick:2011:ZTB% }. \NAMECITE{{Zemanek}}{% Jones:2015:MPH% }. \NAMECITE{{Zeno}}{% Alrajeh:2010:DNZ% }. \NAMECITE{{Zohar}}{% Dershowitz:2019:ZM% }. \NAMECITE{zonotope}{% Tran:2021:VPD% }. \NAMECITE{{ZRC}}{% Cavalcanti:1998:ZRC% }.