%%====================================================================== %% 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 Sat Jan 6 06:34:05 MST 2024 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{\$5.6}{% Brandon:2006:AME% }. \NAMECITE{{11}}{% Barnes:2002:SII% }. \NAMECITE{{12th}}{% Dobbing:2003:IRT% }. \NAMECITE{{13th}}{% delaPuente:2007:IRT% }. \NAMECITE{{14th}}{% Burns:2010:PRI,% Michell:2010:CIR% }. \NAMECITE{{15th}}{% Anonymous:2013:OIR,% Rivas:2011:IRT% }. \NAMECITE{{162}}{% Stuckey:1995:FCI% }. \NAMECITE{{16th}}{% Burns:2013:RIR% }. \NAMECITE{{178B}}{% Kamei:2012:TSV% }. \NAMECITE{{17th}}{% Anonymous:2016:OIR% }. \NAMECITE{{1998}}{% Barnes:1998:AEC,% Barnes:2001:DYU% }. \NAMECITE{{2}}{% Forrester:1988:WMC% }. \NAMECITE{{2001}}{% Anonymous:2001:AUSa,% Anonymous:2001:AUSb,% Anonymous:2001:AUSc,% Anonymous:2001:AUSd% }. \NAMECITE{{2002}}{% Anonymous:2002:AESa,% Anonymous:2002:AESb,% Anonymous:2002:AUSa,% Anonymous:2002:AUSb,% Anonymous:2003:AESa,% Anonymous:2003:AESb% }. \NAMECITE{{2003}}{% Anonymous:2003:AESc% }. \NAMECITE{{2004}}{% Anonymous:2004:AESa,% Anonymous:2004:AESb,% Anonymous:2004:AESc,% Anonymous:2004:AESd,% Anonymous:2005:AESa% }. \NAMECITE{{2005}}{% Anonymous:2005:AESb,% Anonymous:2005:AESc,% Anonymous:2005:AESd,% Anonymous:2006:AESa,% Barnes:2003:ANP,% Barnes:2004:RAI,% Barnes:2005:RAA,% Barnes:2005:RAC,% Barnes:2005:RAE,% Barnes:2005:RAO,% Barnes:2005:RAP,% Barnes:2005:RAS,% Barnes:2005:RAT,% Barnes:2006:RAE,% Burns:2008:PET,% Burns:2008:SIE,% Cousins:2008:PNC,% Leroy:2002:IA,% Moore:2009:DSM,% Moore:2011:CWS,% Pulido:2008:ACP,% Real:2008:SBA,% Uruena:2008:INA,% Wellings:2008:BAA,% Wellings:2008:FRT,% Zerzelidis:2007:CEP% }. \NAMECITE{{2006}}{% Anonymous:2006:AESb,% Anonymous:2006:AESc,% Anonymous:2006:AESd,% Anonymous:2007:AESa,% Fairlamb:2006:ACU% }. \NAMECITE{{2007}}{% Anonymous:2007:AESb% }. \NAMECITE{{2009}}{% Fairlamb:2009:AUC% }. \NAMECITE{{200Y}}{% Taft:2003:OOP,% Taft:2010:OOP% }. \NAMECITE{{2010}}{% Anonymous:2010:AESa,% Anonymous:2010:AESb,% Anonymous:2011:AESa% }. \NAMECITE{{2011}}{% Anonymous:2011:AESb,% Anonymous:2011:AESd% }. \NAMECITE{{2012}}{% Andersen:2015:PCA,% Anonymous:2012:AESb,% Anonymous:2012:AESc,% Anonymous:2012:PRA,% Anonymous:2013:ALS,% Anonymous:2016:PRA,% Barnes:2011:RAC,% Barnes:2011:RAI,% Barnes:2012:RAE,% Barnes:2012:RAI,% Barnes:2012:RAS,% Barnes:2012:RAT,% Barnes:2013:RAC,% Barnes:2013:RAE,% Barnes:2013:RAP,% Barnes:2016:UA,% Gregertsen:2011:IUN% }. \NAMECITE{{2013}}{% Anonymous:2013:AESa,% Anonymous:2013:AESb,% Anonymous:2013:AESc,% Anonymous:2014:AESa,% Robinson:2013:RAC% }. \NAMECITE{{2014}}{% Anonymous:2014:PWC,% Anonymous:2014:PWM,% Baird:2015:SRS,% Dross:2014:SRF,% Efstathopoulos:2014:SRD,% Moy:2013:SR,% Moy:2015:SRG% }. \NAMECITE{{2015}}{% Anonymous:2015:PWC% }. \NAMECITE{21st}{% Culwin:1996:BLS% }. \NAMECITE{{24772}}{% Moore:2009:PRI% }. \NAMECITE{{3}}{% Elliott:1987:MAA,% Foulkes:1988:DCC% }. \NAMECITE{6a}{% Barnes:2005:RAC,% Barnes:2013:RAC% }. \NAMECITE{{6th}}{% Anonymous:1987:AUI% }. \NAMECITE{8-bit}{% Rego:2012:AUG% }. \NAMECITE{{83}}{% Barnes:1993:CBA,% Bridges:2011:ISP,% Cousins:2002:TLP,% DeVroey:1996:MFE,% Moore:1993:IAI,% Tokar:1994:EAM% }. \NAMECITE{{8652}}{% Leroy:2004:PDS,% Moore:2004:CIA,% WG9:2004:IAP% }. \NAMECITE{{95}}{% Anonymous:1995:FCA,% Anonymous:1996:IAS,% Barnes:1995:APE,% Barnes:1995:ATA,% Barnes:1995:EA,% Barnes:19xx:AHL,% Betz:1997:EAC,% Burns:2003:IRT,% Cousins:2002:TLP,% Ellis:1996:OOD,% Glaister:2007:TDD,% Kersten:2002:CUD,% Nonaka:1999:TDD,% Santos:2002:ECA% }. \NAMECITE{9X}{% Bundgaard:1994:DAC,% Anderson:1990:APS,% Anderson:1992:APR,% Anonymous:1995:AR,% Barnes:1993:CBA,% Barnes:1993:OPA,% Barnes:1993:POA,% Barnes:1994:AHL,% Burns:1990:ATC,% Kermarrec:1995:IEF,% Moore:1993:IAI,% Tokar:1994:EAM,% Wellings:1990:RRA% }. \NAMECITE{{AADL}}{% Vergnaud:2009:GCB% }. \NAMECITE{abstract}{% Losavio:1993:ARR% }. \NAMECITE{Abstraction}{% Barnes:2001:SWC,% Barnes:2010:SWC,% Richmond:1987:OMD% }. \NAMECITE{Abstractions}{% Wellings:2016:SSL% }. \NAMECITE{academia}{% Brosgol:1998:WAR% }. \NAMECITE{Academic}{% Anonymous:1997:AUA,% Arkwright:2004:AAI,% Anonymous:1995:AUA% }. \NAMECITE{Access}{% Barnes:1995:ATA,% Barnes:2005:RAA% }. \NAMECITE{achieves}{% Anonymous:1995:SAL% }. \NAMECITE{Achieving}{% Liddiard:1993:ATW% }. \NAMECITE{activities}{% Brassington:1987:AAU% }. \NAMECITE{Ada}{% Anonymous:1987:AUI,% Anonymous:1995:RIA,% Anonymous:2010:SPC,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2011:SPC,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2013:AGd,% Anonymous:2013:LPA,% Anonymous:2013:OIR,% Anonymous:2014:AESb,% Anonymous:2014:PWM,% Anonymous:2016:OIR,% Barnes:1998:AEC,% Burns:2010:PRI,% Burns:2013:RIR,% Dobbing:2003:IRT,% Elsom:1990:WWT,% Kenward:1991:AUI,% Michell:2010:CIR,% Rivas:2011:IRT,% Vardanega:2009:BRA,% Wellings:1997:EIR,% delaPuente:2007:IRT,% Anonymous:1995:AUC,% Acosta:1994:ASA,% Alonso:1992:RRE,% Andersen:2011:CUA,% Andersen:2015:PCA,% Anderson:1990:APS,% Anderson:1992:APR,% Anonymous:1987:AUI,% Anonymous:1987:CAa,% Anonymous:1987:CAb,% Anonymous:1988:CIA,% Anonymous:1988:VCA,% Anonymous:1993:AB,% Anonymous:1994:AUI,% Anonymous:1995:AIS,% Anonymous:1995:AR,% Anonymous:1995:ASI,% Anonymous:1995:AUA,% Anonymous:1995:AUM,% Anonymous:1995:FCA,% Anonymous:1995:SAL,% Anonymous:1996:ASIa,% Anonymous:1996:ASIb,% Anonymous:1996:EPAa,% Anonymous:1996:EPAb,% Anonymous:1996:IAS,% Anonymous:1997:ABS,% Anonymous:1997:AEB,% Anonymous:1997:ASIa,% Anonymous:1997:ASIb,% Anonymous:1997:ASIc,% Anonymous:1997:ASId,% Anonymous:1997:AUA,% Anonymous:1997:AUS,% Anonymous:1997:EPAa,% Anonymous:1997:EPAb,% Anonymous:1998:APC,% Anonymous:1998:ASIa,% Anonymous:1998:ASIb,% Anonymous:1998:AUSa,% Anonymous:1998:AUSb,% Anonymous:1998:EPAa,% Anonymous:1998:EPAb,% Anonymous:1998:IAE,% Anonymous:1998:MCA,% Anonymous:1998:MPA,% Anonymous:2001:AEAa,% Anonymous:2001:AEAb,% Anonymous:2001:AEAc,% Anonymous:2001:AEAd,% Anonymous:2001:AUSa,% Anonymous:2001:AUSb,% Anonymous:2001:AUSc,% Anonymous:2001:AUSd,% Anonymous:2001:EPAa,% Anonymous:2001:EPAb,% Anonymous:2001:EPAc% }. \NAMECITE{{Ada}}{% Anonymous:2001:EPAd,% Anonymous:2002:AESa,% Anonymous:2002:AESb,% Anonymous:2002:AUSa,% Anonymous:2002:AUSb,% Anonymous:2002:EPAa,% Anonymous:2002:EPAb,% Anonymous:2002:EPAc,% Anonymous:2002:EPAd,% Anonymous:2003:AESa,% Anonymous:2003:AESb,% Anonymous:2003:AESc,% Anonymous:2003:EPAa,% Anonymous:2003:EPAb,% Anonymous:2003:EPAc,% Anonymous:2003:EPAd,% Anonymous:2004:AEG,% Anonymous:2004:AESa,% Anonymous:2004:AESb,% Anonymous:2004:AESc,% Anonymous:2004:AESd,% Anonymous:2004:EPAa,% Anonymous:2004:EPAb,% Anonymous:2004:EPAc,% Anonymous:2004:PMA,% Anonymous:2005:AESa,% Anonymous:2005:AESb,% Anonymous:2005:AESc,% Anonymous:2005:AESd,% Anonymous:2005:EPAa,% Anonymous:2005:EPAb,% Anonymous:2005:EPAc,% Anonymous:2005:EPAd,% Anonymous:2006:AESa,% Anonymous:2006:AESb,% Anonymous:2006:AESc,% Anonymous:2006:AESd,% Anonymous:2006:EPAa,% Anonymous:2006:EPAb,% Anonymous:2006:EPAc,% Anonymous:2006:EPAd,% Anonymous:2007:AEAa,% Anonymous:2007:AEAb,% Anonymous:2007:AESa,% Anonymous:2007:AESb,% Anonymous:2007:AG,% Anonymous:2007:EPAa,% Anonymous:2007:EPAb,% Anonymous:2007:EPAc,% Anonymous:2007:EPAd,% Anonymous:2008:AEAa,% Anonymous:2008:AEAb,% Anonymous:2008:AEAc,% Anonymous:2008:AEAd,% Anonymous:2008:AGa,% Anonymous:2008:AGb,% Anonymous:2008:AGc,% Anonymous:2008:AGd,% Anonymous:2008:EPAa,% Anonymous:2008:EPAb,% Anonymous:2008:EPAc,% Anonymous:2008:EPAd,% Anonymous:2009:AEAa,% Anonymous:2009:AEAb,% Anonymous:2009:AEAc,% Anonymous:2009:AEAd,% Anonymous:2009:AGa,% Anonymous:2009:AGb,% Anonymous:2009:AGc,% Anonymous:2009:EPAa,% Anonymous:2009:EPAb,% Anonymous:2009:EPAc,% Anonymous:2009:EPAd,% Anonymous:2010:AEAa,% Anonymous:2010:AEAb,% Anonymous:2010:AEAc,% Anonymous:2010:AEAd,% Anonymous:2010:AESa,% Anonymous:2010:AESb,% Anonymous:2010:AGa,% Anonymous:2010:AGb,% Anonymous:2010:AGc,% Anonymous:2010:ASP,% Anonymous:2010:EPAa,% Anonymous:2010:EPAb% }. \NAMECITE{{Ada}}{% Anonymous:2010:EPAc,% Anonymous:2010:EPAd,% Anonymous:2010:WLC,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2011:AESa,% Anonymous:2011:AESb,% Anonymous:2011:AESc,% Anonymous:2011:AESd,% Anonymous:2011:AGa,% Anonymous:2011:AGb,% Anonymous:2011:AGc,% Anonymous:2011:EPAa,% Anonymous:2011:EPAb,% Anonymous:2011:EPAc,% Anonymous:2011:EPAd,% Anonymous:2012:AEA,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2012:AESa,% Anonymous:2012:AESb,% Anonymous:2012:AESc,% Anonymous:2012:AGa,% Anonymous:2012:AGb,% Anonymous:2012:AGc,% Anonymous:2012:EPAa,% Anonymous:2012:EPAb,% Anonymous:2012:EPAc,% Anonymous:2012:PRA,% Anonymous:2013:AEAa,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2013:AESa,% Anonymous:2013:AESb,% Anonymous:2013:AESc,% Anonymous:2013:AGa,% Anonymous:2013:AGb,% Anonymous:2013:AGc,% Anonymous:2013:ALS,% Anonymous:2013:PRA,% Anonymous:2014:AEA,% Anonymous:2014:AEAa,% Anonymous:2014:AEAb,% Anonymous:2014:AEAc,% Anonymous:2014:AES,% Anonymous:2014:AESa,% Anonymous:2014:AESc,% Anonymous:2014:AG,% Anonymous:2014:PRA,% Anonymous:2014:PWC,% Anonymous:2015:AEAa,% Anonymous:2015:AEAb,% Anonymous:2015:AEAc,% Anonymous:2015:AEAd,% Anonymous:2015:AESa,% Anonymous:2015:AESb,% Anonymous:2015:AESc,% Anonymous:2015:AESd,% Anonymous:2015:PWC,% Anonymous:2016:AEA,% Anonymous:2016:AES,% Anonymous:2016:PRA,% Arkwright:2004:AAI,% Arnaudo:1987:SAP,% Ausden:2008:ACI,% Baillon:2010:ERS,% Baker:1990:OAT,% Barnes:1993:CBA,% Barnes:1993:OPA,% Barnes:1993:POA,% Barnes:1994:AHL,% Barnes:1994:RAW,% Barnes:1995:APE,% Barnes:1995:ATA,% Barnes:1995:EA,% Barnes:1998:AEG,% Barnes:19xx:AHL,% Barnes:19xx:YCD,% Barnes:2003:ANP,% Barnes:2004:RAI,% Barnes:2005:RAA,% Barnes:2005:RAC,% Barnes:2005:RAE,% Barnes:2005:RAO,% Barnes:2005:RAP% }. \NAMECITE{{Ada}}{% Barnes:2005:RAS,% Barnes:2005:RAT,% Barnes:2006:RAE,% Barnes:2009:TYA,% Barnes:2011:RAC,% Barnes:2011:RAI,% Barnes:2012:RAE,% Barnes:2012:RAI,% Barnes:2012:RAS,% Barnes:2012:RAT,% Barnes:2013:RAC,% Barnes:2013:RAE,% Barnes:2013:RAP,% Barnes:2015:BAL,% Barnes:2016:UA,% Bartholomew-Biggs:1991:NAO,% Bazex:1995:APT,% Betz:1997:EAC,% Bishop:1987:APC,% Bodilsen:1992:DSS,% Bradley:2011:AUG,% Brandon:2006:AME,% Brandon:2008:UAS,% Brassington:1987:AAU,% Bridges:2011:ISP,% Briggs:1996:AWW,% Briggs:1996:DSP,% Brosgol:1987:DAB,% Brosgol:1998:WAR,% Brosgol:2004:RTJ,% Brosgol:2008:SAO,% Bundgaard:1994:DAC,% Burhouse:1987:LCA,% Burns:1987:ATI,% Burns:1990:ATC,% Burns:2001:GUA,% Burns:2003:IRT,% Burns:2008:PET,% Burns:2008:SIE,% Burns:2010:ASVa,% Burns:2010:ASVb,% Cameron:1987:MJN,% Chapman:1995:SNT,% Chard:1987:AV,% Charman-Anderson:2015:ALV,% Corbin:1990:FOP,% Cousins:2002:TLP,% Cousins:2008:PNC,% Crowe:1991:SIA,% Dausmann:1987:RPU,% DeVroey:1996:MFE,% Dipper:1988:GWA,% Dordowsky:2012:CCG,% Elliott:1987:MAA,% Ellis:1996:OOD,% Fairlamb:2006:ACU,% Fairlamb:2009:AUC,% Feldman:1993:WUA,% Forest:1987:PA,% Forrester:1988:WMC,% Gautier:1987:GUA,% Gilchrist:1992:GPA,% Gilchrist:2001:CAL,% Glaister:2007:TDD,% Glynn:1993:SUA,% Gordon:1988:IAA,% Gregertsen:2011:IUN,% Heerfordt:1987:SAP,% Higgon:1994:DAR,% Hill:1988:FSV,% Hill:1991:CPLa,% Hill:1991:CPLb,% Hosseinzaman:1994:AVN,% Humphris:2001:IAD,% Keenan:1987:RDF,% Kermarrec:1988:SEA,% Kermarrec:1995:IEF,% Kersten:2002:CUD,% Kim:1987:AUU,% Kruchten:1994:MOD,% Kugler:1987:UUI,% Larkham:1994:ATL,% Lawton:1988:TJS,% Leroy:2002:IA,% Lester:1987:TIAa,% Lester:1987:TIAb,% Lester:1987:TIAc,% Lester:1988:TIAa,% Lester:1988:TIAb,% Liddiard:1993:ATW,% Locke:1990:PRA,% Longhurst:1993:DAR,% Losavio:1992:DTB,% Losavio:1993:ARR,% Mahieux:2006:UCB,% Manas:1992:ARL,% Marriott:2005:ABF% }. \NAMECITE{{Ada}}{% Marshall:1987:IUM,% Marshall:1988:ASR,% Masmano:2003:MFA,% McAllister:1995:IAV,% McCormick:2008:ASE,% Mearns:1987:SFD,% MenendezdeLlanoRozas:1996:ADS,% Michell:2008:IAO,% Michell:2009:APL,% Moore:1993:IAI,% Moore:2004:SNV,% Moore:2004:UAS,% Moore:2009:DSM,% Moore:2011:CWS,% Munch:1992:DSR,% Nonaka:1999:TDD,% Ochem:2009:BCL,% Ogren:2002:UAS,% Paterson:1995:SPA,% Pedro:2014:ITT,% Phillips:1987:AE,% Priestley:1993:ISA,% Pulido:2008:ACP,% Pyle:1987:EA,% Pyle:1995:VAP,% Ramachandran:2005:ARG,% Ramachandran:2006:GIA,% Real:2008:SBA,% Real:2008:SRA,% Rego:2012:AUG,% Reyes:2012:AWD,% RinoNesin:2015:ALS,% Rivas:2009:AUG,% Rivas:2013:AAS,% Robinson:2013:RAC,% Rosen:2004:DWS,% Rosen:2008:AEI,% Rosen:2013:DCC,% Sanden:2002:RTP,% Santos:2002:ECA,% Sargsyan:2014:RSB,% Sherif:1992:ASL,% Simpson:1997:ASE,% Smart:1994:IBA,% Smith:1987:AIC,% Smith:1996:OPA,% Sobczak:2009:EEA,% Sobczak:2010:PCA,% Stadlmann:2005:ADB,% Syms:1987:AN,% Taft:2003:OOP,% Taft:2010:OOP,% Tokar:1994:EAM,% Tokar:2009:AEW,% Toole:1990:RAC,% Uruena:2008:INA,% Vardanega:2013:SSI,% Vicary:1995:ULS,% Ward:2008:SSB,% Webb:1990:MA,% Wellings:1990:RRA,% Wellings:2008:BAA,% Wellings:2008:FRT,% Westley:1998:WJA,% Wichmann:1988:EAS,% Wichmann:1990:IA,% Wichmann:1990:LAV,% Woodford:1995:CQS,% Yu:1998:UOT,% Zeigler:1996:CDC,% Zerzelidis:2007:CEP,% Anonymous:2012:PRF,% Anonymous:2012:EPB,% Anonymous:2013:EPBa,% Anonymous:2013:EPBb,% Anonymous:2013:EPBc,% Anonymous:2013:EPBd,% Anonymous:2014:EPAa,% Anonymous:2014:EPAb,% Anonymous:2014:EPAc,% Anonymous:2014:EPAd,% Anonymous:2015:EPAa,% Anonymous:2015:EPAb,% Anonymous:2015:EPAc,% Anonymous:2015:EPAd,% Anonymous:2016:EPA% }. \NAMECITE{{Ada/C}}{% Sobczak:2010:PCA% }. \NAMECITE{{Ada9X}}{% Locke:1992:RPT% }. \NAMECITE{{Adaland}}{% Andersen:2013:AA% }. \NAMECITE{Adaptability}{% Sanchez:2001:ADP% }. \NAMECITE{{AdaUK}}{% Anonymous:1996:AW% }. \NAMECITE{{AdaWay}}{% Anonymous:2012:ATB% }. \NAMECITE{Additional}{% Barnes:2003:ANP% }. \NAMECITE{{AdDoc}}{% Cholay:2014:ABD% }. \NAMECITE{Adjusting}{% Betz:1997:EAC% }. \NAMECITE{Advanced}{% Rivas:2013:AAS% }. \NAMECITE{affiliates}{% Anonymous:1995:AUA% }. \NAMECITE{Agenda}{% Anonymous:2004:AEG% }. \NAMECITE{Aircraft}{% Feiler:2015:ALR% }. \NAMECITE{Alan}{% Rogers:2001:BRR% }. \NAMECITE{Algebraic}{% Acosta:1994:ASA,% Losavio:1993:ARR,% Priestley:1993:ISA% }. \NAMECITE{algebras}{% Bartholomew-Biggs:1991:NAO% }. \NAMECITE{Algorithm}{% Alonso:2014:TMC,% Santos:2002:ECA,% DeVroey:1996:MFE% }. \NAMECITE{{Alice}}{% Andersen:2013:AA% }. \NAMECITE{Alignment}{% Sargsyan:2014:RSB% }. \NAMECITE{Allocating}{% Wellings:2008:BAA% }. \NAMECITE{Alternative}{% MenendezdeLlanoRozas:1996:ADS% }. \NAMECITE{Amendment}{% Leroy:2004:PDS,% Moore:2004:CIA,% WG9:2004:IAP% }. \NAMECITE{Analysis}{% Black:2007:SES,% Davis:2009:ETA,% Delange:2009:CIO,% Feiler:2015:ALR,% Kleidermacher:2008:PAS,% Law:2015:EWC,% Martignano:2015:SCA,% Taft:2004:FSB,% Firesmith:1993:OAD,% Sherif:1992:ASL% }. \NAMECITE{Analytical}{% Lovelace:2015:NTS% }. \NAMECITE{Andy}{% Rogers:2001:BRR% }. \NAMECITE{{Annex}}{% Burns:2010:ASVb% }. \NAMECITE{Annual}{% Anonymous:2010:ASP% }. \NAMECITE{{API}s}{% Leroy:2002:CA% }. \NAMECITE{applets}{% Westley:1998:WJA% }. \NAMECITE{Application}{% Burns:2013:SSLa,% Cohen:2014:MCR,% Kleidermacher:2008:PAS,% Paterson:1995:SPA% }. \NAMECITE{Applications}{% Delange:2009:CIO,% Ochem:2009:BCL,% Sachez-Ledesma:2015:TBC,% Vergnaud:2009:GCB,% Feldman:1993:WUA,% Larkham:1994:ATL,% Munch:1992:DSR,% Zweiacker:1997:MCA% }. \NAMECITE{Approach}{% Davis:2014:PPA,% Santos:2002:ECA,% Schonberg:2008:PAS,% Acosta:1994:ASA,% Elliott:1987:MAA% }. \NAMECITE{Approaches}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Cancila:2014:FSU% }. \NAMECITE{Approved}{% Anonymous:2013:ALS,% Anonymous:2016:PRA,% Kenward:1991:AUI% }. \NAMECITE{Architecture}{% Feiler:2015:ALR% }. \NAMECITE{Architecture-led}{% Feiler:2015:ALR% }. \NAMECITE{Architectures}{% Sanden:2012:ELM,% Gargaro:1995:TRS% }. \NAMECITE{{ARG}}{% Moore:2004:CIA,% WG9:2004:IAP% }. \NAMECITE{Argument}{% Vardanega:2009:ALS% }. \NAMECITE{Arguments}{% Gallina:2015:DRP% }. \NAMECITE{{Ari}}{% Vardanega:2009:BRA% }. \NAMECITE{Arrays}{% Barnes:2001:DYU% }. \NAMECITE{{ASIM}}{% Palm:2012:UMD% }. \NAMECITE{{ASIS}}{% Anonymous:1997:ASId% }. \NAMECITE{{ASISFAQ}}{% Anonymous:1997:ASIb% }. \NAMECITE{{ASISRG}}{% Anonymous:1997:MRA% }. \NAMECITE{{ASISWG}}{% Anonymous:1997:MRA% }. \NAMECITE{{ASISWG}/{ASISRG}}{% Anonymous:1997:MRA% }. \NAMECITE{Asked}{% Anonymous:1997:ASIb,% Anonymous:1997:ASId% }. \NAMECITE{aspects}{% Barnes:2011:RAC% }. \NAMECITE{{Asphodel}}{% Hill:1988:FSV% }. \NAMECITE{Assembly}{% Anonymous:2004:AEG,% Anonymous:2004:PMA,% Barnes:1998:AEG% }. \NAMECITE{{ASSERT}}{% Ferrero:2012:IHS% }. \NAMECITE{Associate}{% Anonymous:2001:AEAa,% Anonymous:2001:AEAb,% Anonymous:2001:AEAc,% Anonymous:2001:AEAd,% Anonymous:2007:AEAa,% Anonymous:2007:AEAb,% Anonymous:2008:AEAa,% Anonymous:2008:AEAb,% Anonymous:2008:AEAc,% Anonymous:2008:AEAd,% Anonymous:2009:AEAa,% Anonymous:2009:AEAb,% Anonymous:2009:AEAc,% Anonymous:2009:AEAd,% Anonymous:2010:AEAa,% Anonymous:2010:AEAb,% Anonymous:2010:AEAc,% Anonymous:2010:AEAd,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2012:AEA,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2013:AEAa,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2014:AEA,% Anonymous:2014:AEAa,% Anonymous:2014:AEAb,% Anonymous:2014:AEAc,% Anonymous:2015:AEAa,% Anonymous:2015:AEAb,% Anonymous:2015:AEAc,% Anonymous:2015:AEAd,% Anonymous:2016:AEA% }. \NAMECITE{Assurance}{% Attwood:2014:UCV,% Hawkins:2015:NWM,% Jennings:2012:BUS% }. \NAMECITE{Asynchronous}{% Burns:1990:ATC% }. \NAMECITE{{ATAC}}{% Oliphint:1994:TSA% }. \NAMECITE{automatic}{% Smart:1994:PPA% }. \NAMECITE{Automation}{% Hawkins:2015:NWM% }. \NAMECITE{Avionics}{% Bernat:2007:IOW,% Bridges:2011:ISP,% Locke:1990:PRA% }. \NAMECITE{{AVR}}{% Pedro:2014:ITT,% Rego:2012:AUG% }. \NAMECITE{{AVR-Ada}}{% Pedro:2014:ITT% }. \NAMECITE{Award}{% Anonymous:2012:PRF% }. \NAMECITE{Awareness}{% Feiler:2015:ALR% }. \NAMECITE{{AWS}}{% Rosen:2004:DWS% }. \NAMECITE{{Babbage}}{% Fuegi:2015:LBC% }. \NAMECITE{backpropagation}{% DeVroey:1996:MFE% }. \NAMECITE{Bare}{% Uruena:2008:INA% }. \NAMECITE{Based}{% Cancila:2014:FSU,% Harbaugh:2009:PBR,% Pulido:2008:ACP,% Sachez-Ledesma:2015:TBC,% Ward:2008:SSB,% Acosta:1994:ASA,% Elliott:1987:MAA,% Gallina:2015:DRP,% Hosseinzaman:1994:AVN,% Losavio:1992:DTB,% Martignano:2015:SCA,% Vergnaud:2009:GCB% }. \NAMECITE{Basic}{% Stadlmann:2005:ADB% }. \NAMECITE{be}{% Briggs:1996:DSP% }. \NAMECITE{Beat}{% Anonymous:2012:ATB,% Anonymous:2012:PRF% }. \NAMECITE{Before}{% Taft:2004:FSB% }. \NAMECITE{beginner}{% Westley:1998:WJA% }. \NAMECITE{beginners}{% English:1994:FB% }. \NAMECITE{Behavioral}{% Nakajima:2014:BCE% }. \NAMECITE{Behaviour}{% Davis:2014:PPA% }. \NAMECITE{being}{% Lester:1987:TIAa% }. \NAMECITE{{Ben}}{% Vardanega:2009:BRA% }. \NAMECITE{{Ben-Ari}}{% Vardanega:2009:BRA% }. \NAMECITE{Benchmarking}{% Comar:2007:ERB% }. \NAMECITE{Benefits}{% Jennings:2012:BUS,% Rosen:2005:BIS% }. \NAMECITE{between}{% Barnes:1993:CBA,% Smart:1994:IBA% }. \NAMECITE{Beyond}{% Culwin:1996:BLS,% Real:2008:SBA,% Wellings:2008:BAA,% Cholay:2014:ABD% }. \NAMECITE{Bias}{% Rosen:2009:RPL% }. \NAMECITE{bibliography}{% Anonymous:1993:AB% }. \NAMECITE{Billion}{% Brandon:2006:AME% }. \NAMECITE{binding}{% Brosgol:1987:DAB% }. \NAMECITE{Bindings}{% Sobczak:2010:PCA% }. \NAMECITE{Bioinformatics}{% Sargsyan:2014:RSB% }. \NAMECITE{bit}{% Rego:2012:AUG% }. \NAMECITE{Board}{% Anonymous:1997:AEB,% Uruena:2008:INA,% delaPuente:2014:ESB% }. \NAMECITE{Book}{% Anonymous:1996:BR,% Rogers:2001:BRR,% Vardanega:2009:BRA% }. \NAMECITE{Branch}{% Stadlmann:2005:ADB% }. \NAMECITE{Breaks}{% Taft:2004:FSB% }. \NAMECITE{brief}{% Snowdon:1988:BOI% }. \NAMECITE{Briefing}{% Anonymous:1997:ABS% }. \NAMECITE{Bring}{% Mahieux:2006:UCB% }. \NAMECITE{Budgets}{% Rivas:2008:OSS% }. \NAMECITE{Buffers}{% Moore:2009:DSM% }. \NAMECITE{Bug}{% Marriott:2005:ABF% }. \NAMECITE{Building}{% Ochem:2009:BCL,% Uruena:2007:BHI% }. \NAMECITE{builds}{% Sandberg:2005:LTS% }. \NAMECITE{Burns}{% Rogers:2001:BRR% }. \NAMECITE{business}{% Furgel:2007:SSD% }. \NAMECITE{buyer}{% Anonymous:1988:VCA% }. \NAMECITE{{Byron}}{% Barnes:2015:BAL% }. \NAMECITE{C}{% Ausden:2008:ACI,% Hill:1991:CPLa,% Hill:1991:CPLb,% Smart:1994:IBA,% Sobczak:2010:PCA,% Zeigler:1996:CDC% }. \NAMECITE{{CAIS}}{% Lyons:1987:RDT,% Lyons:1987:TOP% }. \NAMECITE{Calendar}{% Anonymous:1998:CC,% Anonymous:2001:CCa,% Anonymous:2001:CCb,% Anonymous:2001:CCc,% Anonymous:2001:CCd,% Anonymous:2002:CCa,% Anonymous:2002:CCb,% Anonymous:2002:CCc,% Anonymous:2002:CCd,% Anonymous:2003:CCa,% Anonymous:2003:CCb,% Anonymous:2003:CCc,% Anonymous:2003:CCd,% Anonymous:2004:CCa,% Anonymous:2004:CCb,% Anonymous:2004:CCc,% Anonymous:2005:CCa,% Anonymous:2005:CCb,% Anonymous:2005:CCc,% Anonymous:2005:CCd,% Anonymous:2006:CCa,% Anonymous:2006:CCb,% Anonymous:2006:CCc,% Anonymous:2006:CCd,% Anonymous:2007:CCa,% Anonymous:2007:CCb,% Anonymous:2007:CCc,% Anonymous:2007:CCd,% Anonymous:2008:CCa,% Anonymous:2008:CCb,% Anonymous:2008:CCc,% Anonymous:2008:CCd,% Anonymous:2009:CCa,% Anonymous:2009:CCb,% Anonymous:2009:CCc,% Anonymous:2009:CCd,% Anonymous:2010:CCa,% Anonymous:2010:CCb,% Anonymous:2010:CCc,% Anonymous:2010:CCd,% Anonymous:2011:CCa,% Anonymous:2011:CCb,% Anonymous:2011:CCc,% Anonymous:2011:CCd,% Anonymous:2012:CC,% Anonymous:2012:CCa,% Anonymous:2012:CCb,% Anonymous:2012:CCc,% Anonymous:2013:CCa,% Anonymous:2013:CCb,% Anonymous:2013:CCc,% Anonymous:2014:CC,% Anonymous:2014:CCa,% Anonymous:2014:CCb,% Anonymous:2014:CCc,% Anonymous:2015:CCb,% Anonymous:2015:CCc,% Anonymous:2016:CC,% Craeynest:2015:CCa,% Craeynest:2015:CCd% }. \NAMECITE{Call}{% Leroy:2002:CA% }. \NAMECITE{Callbacks}{% Sobczak:2010:PCA% }. \NAMECITE{Can}{% Barnes:19xx:YCD% }. \NAMECITE{capture}{% Sanden:1996:UTC% }. \NAMECITE{Case}{% Bernat:2007:IOW,% Cohen:2014:MCR,% Hawkins:2015:NWM,% Law:2015:EWC,% Mefteh:2014:FME,% Locke:1990:PRA,% Smart:1994:IBA,% Toole:1990:RAC% }. \NAMECITE{century}{% Culwin:1996:BLS% }. \NAMECITE{Certification}{% Miranda:2007:TCO% }. \NAMECITE{{Chairman}}{% Anonymous:1996:MYN,% Anonymous:1998:MCA% }. \NAMECITE{Challenge}{% Anonymous:2012:ATB,% Anonymous:2012:PRF% }. \NAMECITE{Challenges}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Quadri:2015:MMC% }. \NAMECITE{Change}{% Jan:2014:HCM% }. \NAMECITE{changes}{% Anonymous:1995:FCA% }. \NAMECITE{{Channel}}{% Bennett:1994:SDC% }. \NAMECITE{{Charles}}{% Heaney:2004:CCL% }. \NAMECITE{charts}{% Bishop:1987:APC% }. \NAMECITE{Checking}{% Rosen:2013:DCC% }. \NAMECITE{checkpointing}{% Zweiacker:1997:MCA% }. \NAMECITE{choice}{% Hill:1991:CPLa,% Hill:1991:CPLb,% Larkham:1994:ATL% }. \NAMECITE{Classes}{% Andersen:2014:PLJ% }. \NAMECITE{client}{% Crowe:1991:SIA% }. \NAMECITE{club}{% Anonymous:1995:SRM% }. \NAMECITE{Co}{% Ferrero:2012:IHS% }. \NAMECITE{Co-design}{% Ferrero:2012:IHS% }. \NAMECITE{Code}{% Betz:1997:EAC,% Dordowsky:2012:CCG,% Kersten:2002:CUD,% Martignano:2015:SCA,% Miranda:2007:TCO,% Moy:2015:SRG,% Palm:2012:UMD,% Pulido:2008:ACP,% Smart:1994:PPA% }. \NAMECITE{codebase}{% Bigelow:2013:UGE% }. \NAMECITE{'Coding}{% Tooby:2010:OWC,% Rosen:2008:CIC,% Rosen:2013:DCC% }. \NAMECITE{collaborative}{% Burhouse:1987:LCA% }. \NAMECITE{colleges}{% Glynn:1993:SUA% }. \NAMECITE{Combining}{% Dordowsky:2012:CCG% }. \NAMECITE{Command}{% Cousins:2008:PNC,% Foulkes:1988:DCC% }. \NAMECITE{Comments}{% Moore:2004:CIA% }. \NAMECITE{commercial}{% Liddiard:1994:UCO,% Paterson:1995:SPA% }. \NAMECITE{committee}{% Anonymous:1995:AUM,% Anonymous:1995:RIA,% Anonymous:1996:NMC,% Anonymous:1996:RMC,% Anonymous:1997:AUA% }. \NAMECITE{communication}{% Chastek:1995:THC,% GonzalezBarahona:1997:LLF% }. \NAMECITE{Community}{% Anonymous:2010:WLC% }. \NAMECITE{Comparing}{% Zeigler:1996:CDC% }. \NAMECITE{Comparison}{% Rosen:2008:CIC,% Hill:1991:CPLa,% Hill:1991:CPLb,% Moore:2011:CWS% }. \NAMECITE{Compatibility}{% Barnes:1993:CBA% }. \NAMECITE{competition}{% Anonymous:1998:APC% }. \NAMECITE{Compilation}{% Bundgaard:1994:DAC,% Bigelow:2013:UGE% }. \NAMECITE{Compiler}{% Betz:1997:EAC,% Miranda:2007:TCO% }. \NAMECITE{Compilers}{% Anonymous:1987:CAa,% Anonymous:1987:CAb,% Anonymous:1988:CLV,% Anonymous:1988:VCA,% Tokar:1994:EAM% }. \NAMECITE{complex}{% Bridges:2011:ISP,% Furgel:2007:SSD% }. \NAMECITE{Component}{% Sachez-Ledesma:2015:TBC,% Vergnaud:2009:GCB,% Keenan:1987:RDF% }. \NAMECITE{Component-Based}{% Sachez-Ledesma:2015:TBC,% Vergnaud:2009:GCB% }. \NAMECITE{components}{% Elliott:1987:MAA,% Gautier:1987:GUA,% Hill:1988:FSV,% Losavio:1993:ARR,% Ramachandran:2006:GIA,% Toole:1990:RAC% }. \NAMECITE{Computation}{% Santos:2002:ECA% }. \NAMECITE{computer}{% Boldyreff:1987:ITS,% Smith:1987:AIC% }. \NAMECITE{Computing}{% Burgio:2015:SNG,% Burgio:2016:SNG,% Charman-Anderson:2015:ALV% }. \NAMECITE{{CONCERTO}}{% Mazzini:2015:CPO% }. \NAMECITE{Conclusions}{% Michell:2010:CIR,% delaPuente:2008:SCP% }. \NAMECITE{Concurrency}{% Burns:2009:CV,% Sachez-Ledesma:2015:TBC,% delaPuente:2013:SSC,% Burns:1994:DSS,% Sanden:1996:UTC% }. \NAMECITE{Conference}{% Anonymous:1995:CR,% Anonymous:1998:CC,% Anonymous:2001:CCa,% Anonymous:2001:CCb,% Anonymous:2001:CCc,% Anonymous:2001:CCd,% Anonymous:2002:CCa,% Anonymous:2002:CCb,% Anonymous:2002:CCc,% Anonymous:2002:CCd,% Anonymous:2003:CCa,% Anonymous:2003:CCb,% Anonymous:2003:CCc,% Anonymous:2003:CCd,% Anonymous:2004:CCa,% Anonymous:2004:CCb,% Anonymous:2004:CCc,% Anonymous:2005:CCa,% Anonymous:2005:CCb,% Anonymous:2005:CCc,% Anonymous:2005:CCd,% Anonymous:2006:CCa,% Anonymous:2006:CCb,% Anonymous:2006:CCc,% Anonymous:2006:CCd,% Anonymous:2007:CCa,% Anonymous:2007:CCb,% Anonymous:2007:CCc,% Anonymous:2007:CCd,% Anonymous:2008:CCa,% Anonymous:2008:CCb,% Anonymous:2008:CCc,% Anonymous:2008:CCd,% Anonymous:2009:CCa,% Anonymous:2009:CCb,% Anonymous:2009:CCc,% Anonymous:2009:CCd,% Anonymous:2010:CCa,% Anonymous:2010:CCb,% Anonymous:2010:CCc,% Anonymous:2010:CCd,% Anonymous:2011:CCa,% Anonymous:2011:CCb,% Anonymous:2011:CCc,% Anonymous:2011:CCd,% Anonymous:2012:CC,% Anonymous:2012:CCa,% Anonymous:2012:CCb,% Anonymous:2012:CCc,% Anonymous:2013:CCa,% Anonymous:2013:CCb,% Anonymous:2013:CCc,% Anonymous:2014:CC,% Anonymous:2014:CCa,% Anonymous:2014:CCb,% Anonymous:2014:CCc,% Anonymous:2015:CCb,% Anonymous:2015:CCc,% Anonymous:2016:CC,% Craeynest:2015:CCa,% Craeynest:2015:CCd,% Fairlamb:2006:ACU,% Fairlamb:2009:AUC,% Masmano:2003:MFA,% Robinson:2013:RAC,% Anonymous:1987:AUI,% Anonymous:1994:AUI,% Anonymous:1995:AUC,% Barnes:1998:AEC% }. \NAMECITE{Conformance}{% Burns:2016:SSC% }. \NAMECITE{conformant}{% Stuckey:1995:FCI% }. \NAMECITE{Cons}{% Chapman:2009:PCE% }. \NAMECITE{Considered}{% Schonberg:2008:PAS,% Tooby:2010:OWC,% Gauthier:1992:PTC% }. \NAMECITE{construction}{% Losavio:1992:DTB% }. \NAMECITE{Consumption}{% Nakajima:2014:BCE% }. \NAMECITE{Container}{% Heaney:2004:CCL% }. \NAMECITE{Containers}{% Andersen:2015:PCA,% Barnes:2005:RAC,% Barnes:2013:RAC,% Dross:2014:SRF% }. \NAMECITE{Contest}{% Anonymous:2010:ASP,% Anonymous:2010:SPC,% Anonymous:2011:SPC% }. \NAMECITE{Context}{% Baillon:2010:ERS,% Gallina:2015:DRP% }. \NAMECITE{continuing}{% Longhurst:1993:DAR% }. \NAMECITE{Contract}{% Cancila:2014:FSU% }. \NAMECITE{Contract-Based}{% Cancila:2014:FSU% }. \NAMECITE{Contracts}{% Nakajima:2014:BCE,% Barnes:2011:RAC% }. \NAMECITE{Contribution}{% Gilchrist:2001:CAL% }. \NAMECITE{Control}{% Cousins:2008:PNC,% Gregertsen:2011:IUN,% Moore:2009:DSM,% Stadlmann:2005:ADB,% Burns:1990:ATC,% Foulkes:1988:DCC,% Wellings:2013:SSM% }. \NAMECITE{Controlled}{% Attwood:2014:UCV% }. \NAMECITE{Controllers}{% Rego:2012:AUG% }. \NAMECITE{conversion}{% Forrester:1988:WMC% }. \NAMECITE{converting}{% Moore:1993:IAI% }. \NAMECITE{{Coq}}{% Sargsyan:2014:RSB% }. \NAMECITE{{CORBA}}{% Mahieux:2006:UCB,% Zweiacker:1997:MCA% }. \NAMECITE{Correcting}{% Zerzelidis:2007:CEP% }. \NAMECITE{Correctness}{% Barnes:2001:SWC,% Barnes:2010:SWC% }. \NAMECITE{Corrigendum}{% Anonymous:2016:PRA% }. \NAMECITE{cosmology}{% Lester:1987:TIAb% }. \NAMECITE{Cost}{% Anonymous:1988:CIA,% Longhurst:1994:CCS% }. \NAMECITE{Costs}{% Harbaugh:2009:PBR,% Zeigler:1996:CDC% }. \NAMECITE{{COTS}}{% Dobbing:2002:CRS% }. \NAMECITE{countess}{% Forrester:1988:WMC% }. \NAMECITE{Counting}{% Longhurst:1994:CCS% }. \NAMECITE{{Couverture}}{% Delange:2009:CIO% }. \NAMECITE{Coverage}{% Delange:2009:CIO% }. \NAMECITE{{CPS}}{% Attwood:2014:UCV,% Cancila:2014:FSU,% Mazzini:2015:CPO% }. \NAMECITE{{CPU}}{% Burns:1992:MME% }. \NAMECITE{Creating}{% Woodford:1995:CQS% }. \NAMECITE{Creation}{% Fuegi:2015:LBC% }. \NAMECITE{{Crimeville}}{% Andersen:2011:CUA% }. \NAMECITE{Critical}{% Amey:2004:PES,% Baillon:2010:ERS,% Delange:2009:CIO,% Rodriguez:2014:CSF% }. \NAMECITE{Criticality}{% Alonso:2014:TMC,% Anonymous:2014:PWM,% Cohen:2014:MCR,% Cros:2014:MCS,% David:2014:DRT,% Davis:2014:PPA,% Jan:2014:HCM,% Lindgren:2014:RLS% }. \NAMECITE{Cross}{% Ochem:2009:BCL% }. \NAMECITE{{CubeSat}}{% Brandon:2008:UAS% }. \NAMECITE{current}{% Anderson:1990:APS% }. \NAMECITE{curriculum}{% Smith:1987:AIC% }. \NAMECITE{Customizing}{% Kersten:2002:CUD% }. \NAMECITE{Cyber}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Burgio:2015:SNG,% Burgio:2016:SNG,% Pawlak:2015:DMC,% Quadri:2015:MMC% }. \NAMECITE{Cyber-Physical}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Burgio:2015:SNG,% Burgio:2016:SNG,% Pawlak:2015:DMC,% Quadri:2015:MMC% }. \NAMECITE{{DAMOKLES}}{% Dittrich:1988:DDS% }. \NAMECITE{Data}{% Efstathopoulos:2014:SRD,% Losavio:1992:DTB,% Thornley:2011:IHI,% Hunt:1988:PII,% Liddiard:1993:ATW,% Losavio:1993:ARR,% Richmond:1987:OMD% }. \NAMECITE{database}{% Dittrich:1988:DDS% }. \NAMECITE{Days}{% Anonymous:1996:TYT% }. \NAMECITE{{DDC}}{% Bodilsen:1992:DSS% }. \NAMECITE{{DDC-I}}{% Bodilsen:1992:DSS% }. \NAMECITE{Deadlock}{% Nonaka:1999:TDD% }. \NAMECITE{Deal}{% Cancila:2014:FSU% }. \NAMECITE{debug}{% Higgon:1994:DAR% }. \NAMECITE{debugging}{% Briggs:1994:TTL% }. \NAMECITE{Defence}{% Longhurst:1993:DAR,% Brassington:1987:AAU% }. \NAMECITE{defense}{% Feldman:1993:WUA% }. \NAMECITE{Defining}{% Leroy:2004:PDS% }. \NAMECITE{Depend}{% Barnes:19xx:YCD% }. \NAMECITE{Dependable}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Burns:1994:DSS,% David:2014:DRT,% Pawlak:2015:DMC% }. \NAMECITE{Dependencies}{% Efstathopoulos:2014:SRD% }. \NAMECITE{Deploying}{% Mazzini:2015:CPO% }. \NAMECITE{Deriving}{% Gallina:2015:DRP% }. \NAMECITE{Design}{% Ellis:1996:OOD,% Foulkes:1988:DCC,% Glaister:2007:TDD,% Pitty:1987:LHS,% Alonso:1992:RRE,% Bundgaard:1994:DAC,% Ferrero:2012:IHS,% Firesmith:1993:OAD,% Kruchten:1994:MOD,% Locke:1990:PRA,% Richmond:1987:OMD% }. \NAMECITE{Designer}{% Leroy:2006:MLD,% Leroy:2010:MLD% }. \NAMECITE{Designing}{% Mazzini:2015:CPO,% Rosen:2013:DCC,% Sanden:2012:ELM,% Taft:2011:DPP% }. \NAMECITE{designs}{% Keenan:1987:RDF% }. \NAMECITE{Detector}{% Nonaka:1999:TDD% }. \NAMECITE{Develop}{% Yu:1998:UOT% }. \NAMECITE{Developing}{% Kleidermacher:2006:DRS,% Rosen:2004:DWS,% Mearns:1987:SFD% }. \NAMECITE{Development}{% Gilchrist:2001:CAL,% Kersten:2002:CUD,% Munch:1992:DSR,% Stadlmann:2005:ADB,% Zeigler:1996:CDC,% delaPuente:2014:ESB,% Bennett:1994:SDC,% Bishop:1987:APC,% Brosgol:1987:DAB,% Chapman:1995:SNT,% Culwin:1996:BLS,% Heerfordt:1987:SAP,% Reyes:2012:AWD,% Wearing:1991:SDM% }. \NAMECITE{developments}{% Lyons:1987:RDT,% Rosen:2005:BIS% }. \NAMECITE{device}{% Lopez:2010:EPD% }. \NAMECITE{Diagrams}{% Mefteh:2014:FME% }. \NAMECITE{difficult}{% Marshall:1988:ASR% }. \NAMECITE{Digest}{% Andersen:2015:QNDa,% Andersen:2015:QNDv,% Anonymous:2010:QNDa,% Anonymous:2010:QNDb,% Anonymous:2010:QNDc,% Anonymous:2010:QNDd,% Anonymous:2011:QNDa,% Anonymous:2011:QNDb,% Anonymous:2011:QNDc,% Anonymous:2011:QNDd,% Anonymous:2012:QND,% Anonymous:2012:QNDa,% Anonymous:2012:QNDb,% Anonymous:2012:QNDc,% Anonymous:2013:QNDa,% Anonymous:2013:QNDb,% Anonymous:2013:QNDc,% Anonymous:2013:QNDd,% Anonymous:2014:QND,% Anonymous:2014:QNDa,% Anonymous:2014:QNDb,% Anonymous:2014:QNDc,% Anonymous:2015:QNDb,% Anonymous:2015:QNDc,% Anonymous:2016:QND% }. \NAMECITE{Distributed}{% Higgon:1994:DAR,% Humphris:2001:IAD,% Kersten:2002:CUD,% Moore:2009:DSM,% Uruena:2007:BHI,% Chastek:1995:THC,% Gargaro:1995:TRS% }. \NAMECITE{Distribution}{% MenendezdeLlanoRozas:1996:ADS,% Sanchez:2001:ADP,% Vardanega:2010:SSL% }. \NAMECITE{Do}{% Barnes:2001:DYU,% Kamei:2012:TSV% }. \NAMECITE{{DO-178B}}{% Kamei:2012:TSV% }. \NAMECITE{{DO178C}}{% Law:2015:EWC% }. \NAMECITE{Document}{% Rosen:2009:RPL,% Cholay:2014:ABD% }. \NAMECITE{Documented}{% Mefteh:2014:FME% }. \NAMECITE{{DoD}}{% Briggs:1996:DSP% }. \NAMECITE{does}{% Riehle:1998:RDL% }. \NAMECITE{don't}{% Barnes:1996:WDK,% Barnes:2010:WDK,% Lester:1988:TIAa% }. \NAMECITE{download}{% Furgel:2007:SSD% }. \NAMECITE{Driven}{% Ferrero:2012:IHS,% Glaister:2007:TDD,% Palm:2012:UMD% }. \NAMECITE{drivers}{% Lopez:2010:EPD% }. \NAMECITE{dual}{% Hennell:1994:DVS% }. \NAMECITE{early}{% Kermarrec:1995:IEF% }. \NAMECITE{{eBook}}{% Anonymous:2014:PRA% }. \NAMECITE{{ECMA}}{% Stuckey:1995:FCI% }. \NAMECITE{{ECMA-162}}{% Stuckey:1995:FCI% }. \NAMECITE{{EDF}}{% Zerzelidis:2007:CEP% }. \NAMECITE{{Editor}}{% Anonymous:1997:LE% }. \NAMECITE{Editorial}{% Anonymous:1995:Ea,% Anonymous:1995:Eb,% Anonymous:1995:Ec,% Anonymous:1996:E,% Anonymous:1996:EP,% Anonymous:1996:EPAa,% Anonymous:1996:EPAb,% Anonymous:1997:EPAa,% Anonymous:1997:EPAb,% Anonymous:1997:Ea,% Anonymous:1997:Eb,% Anonymous:1998:E,% Anonymous:1998:EPAa,% Anonymous:1998:EPAb,% Anonymous:2001:EPAa,% Anonymous:2001:EPAb,% Anonymous:2001:EPAc,% Anonymous:2001:EPAd,% Anonymous:2001:Ea,% Anonymous:2001:Eb,% Anonymous:2001:Ec,% Anonymous:2001:Ed,% Anonymous:2002:EPAa,% Anonymous:2002:EPAb,% Anonymous:2002:EPAc,% Anonymous:2002:EPAd,% Anonymous:2002:Ea,% Anonymous:2002:Eb,% Anonymous:2002:Ec,% Anonymous:2002:Ed,% Anonymous:2003:EPAa,% Anonymous:2003:EPAb,% Anonymous:2003:EPAc,% Anonymous:2003:EPAd,% Anonymous:2003:Ea,% Anonymous:2003:Eb,% Anonymous:2003:Ec,% Anonymous:2003:Ed,% Anonymous:2004:EPAa,% Anonymous:2004:EPAb,% Anonymous:2004:EPAc,% Anonymous:2004:Ea,% Anonymous:2004:Eb,% Anonymous:2004:Ec,% Anonymous:2005:EPAa,% Anonymous:2005:EPAb,% Anonymous:2005:EPAc,% Anonymous:2005:EPAd,% Anonymous:2005:Ea,% Anonymous:2005:Eb,% Anonymous:2005:Ec,% Anonymous:2005:Ed,% Anonymous:2006:EPAa,% Anonymous:2006:EPAb,% Anonymous:2006:EPAc,% Anonymous:2006:EPAd,% Anonymous:2006:Ea,% Anonymous:2006:Eb,% Anonymous:2006:Ec,% Anonymous:2006:Ed,% Anonymous:2007:EPAa,% Anonymous:2007:EPAb,% Anonymous:2007:EPAc,% Anonymous:2007:EPAd,% Anonymous:2007:Ea,% Anonymous:2007:Eb,% Anonymous:2007:Ec,% Anonymous:2007:Ed,% Anonymous:2008:EPAa,% Anonymous:2008:EPAb,% Anonymous:2008:EPAc,% Anonymous:2008:EPAd,% Anonymous:2008:Ea,% Anonymous:2008:Eb,% Anonymous:2008:Ec,% Anonymous:2008:Ed,% Anonymous:2009:EPAa,% Anonymous:2009:EPAb,% Anonymous:2009:EPAc,% Anonymous:2009:EPAd,% Anonymous:2009:Ea,% Anonymous:2009:Eb,% Anonymous:2009:Ec,% Anonymous:2009:Ed,% Anonymous:2010:EPAa,% Anonymous:2010:EPAb,% Anonymous:2010:EPAc,% Anonymous:2010:EPAd% }. \NAMECITE{Editorial}{% Anonymous:2010:Ea,% Anonymous:2010:Eb,% Anonymous:2010:Ec,% Anonymous:2010:Ed,% Anonymous:2011:EPAa,% Anonymous:2011:EPAb,% Anonymous:2011:EPAc,% Anonymous:2011:EPAd,% Anonymous:2011:Ea,% Anonymous:2011:Eb,% Anonymous:2011:Ec,% Anonymous:2011:Ed,% Anonymous:2012:E,% Anonymous:2012:EPAa,% Anonymous:2012:EPAb,% Anonymous:2012:EPAc,% Anonymous:2012:EPB,% Anonymous:2012:Ea,% Anonymous:2012:Eb,% Anonymous:2012:Ec,% Anonymous:2013:EPBa,% Anonymous:2013:EPBb,% Anonymous:2013:EPBc,% Anonymous:2013:EPBd,% Anonymous:2013:Ea,% Anonymous:2013:Eb,% Anonymous:2013:Ec,% Anonymous:2013:Ed,% Anonymous:2014:E,% Anonymous:2014:EPAa,% Anonymous:2014:EPAb,% Anonymous:2014:EPAc,% Anonymous:2014:EPAd,% Anonymous:2014:Ea,% Anonymous:2014:Eb,% Anonymous:2014:Ec,% Anonymous:2015:EPAa,% Anonymous:2015:EPAb,% Anonymous:2015:EPAc,% Anonymous:2015:EPAd,% Anonymous:2015:Eb,% Anonymous:2015:Ec,% Anonymous:2016:E,% Anonymous:2016:EPA,% Briggs:1998:E,% Cancila:2014:E,% Cancila:2015:E,% Pinho:2015:Ea,% Pinho:2015:Eb% }. \NAMECITE{Editors}{% Pyle:1987:EA% }. \NAMECITE{Education}{% McCormick:2008:ASE,% Real:2008:SRA,% Rosen:2008:AEI,% Schonberg:2008:PAS,% Richmond:1987:OMD,% Simpson:1997:ASE% }. \NAMECITE{effect}{% Tokar:1994:EAM% }. \NAMECITE{Effective}{% Law:2015:EWC% }. \NAMECITE{Efficiency}{% David:2014:DRT% }. \NAMECITE{efficient}{% Kermarrec:1995:IEF% }. \NAMECITE{{Eight}}{% Wellings:1997:EIR% }. \NAMECITE{Embedded}{% Kleidermacher:2008:PAS,% Wearing:1991:SDM% }. \NAMECITE{emption}{% Lester:1987:TIAa% }. \NAMECITE{Energy}{% Nakajima:2014:BCE% }. \NAMECITE{enforcing}{% Burns:1992:MME% }. \NAMECITE{{Engine}}{% Lovelace:2015:NTS% }. \NAMECITE{Engineering}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Ferrero:2012:IHS,% McCormick:2008:ASE,% Ogren:2002:UAS,% Real:2008:SRA,% Schonberg:2008:PAS,% Dittrich:1988:DDS,% Simpson:1997:ASE% }. \NAMECITE{{Engineers}}{% Vardanega:2009:BRA% }. \NAMECITE{Enhancements}{% Taft:2003:OOP,% Taft:2010:OOP% }. \NAMECITE{Entails}{% Brandon:2006:AME% }. \NAMECITE{Entity}{% Sanden:2012:ELM% }. \NAMECITE{Entity-Life}{% Sanden:2012:ELM% }. \NAMECITE{Enumerating}{% Chapman:2009:PCE% }. \NAMECITE{Environment}{% Barnes:1995:APE,% Humphris:2001:IAD,% Bigelow:2013:UGE,% Crowe:1991:SIA,% Dittrich:1988:DDS,% Higgon:1994:DAR,% Vicary:1995:ULS,% Bundgaard:1994:DAC,% Ward:1997:RRE% }. \NAMECITE{environments}{% Boldyreff:1987:ITS,% Kugler:1987:UUI% }. \NAMECITE{Epilogue}{% Barnes:2006:RAE,% Barnes:2013:RAE% }. \NAMECITE{{ERAM}}{% Ausden:2008:ACI% }. \NAMECITE{{ERB}}{% Comar:2007:ERB% }. \NAMECITE{etc}{% Barnes:2005:RAE,% Barnes:2012:RAI% }. \NAMECITE{{Ethernet}}{% Cros:2014:MCS% }. \NAMECITE{Europe}{% Anonymous:2002:AESa,% Anonymous:2002:AESb,% Anonymous:2003:AESa,% Anonymous:2003:AESb,% Anonymous:2003:AESc,% Anonymous:2004:AESa,% Anonymous:2004:AESb,% Anonymous:2004:AESc,% Anonymous:2004:AESd,% Anonymous:2005:AESa,% Anonymous:2005:AESb,% Anonymous:2005:AESc,% Anonymous:2005:AESd,% Anonymous:2006:AESa,% Anonymous:2006:AESb,% Anonymous:2006:AESc,% Anonymous:2006:AESd,% Anonymous:2007:AESa,% Anonymous:2007:AESb,% Anonymous:2010:AESa,% Anonymous:2010:AESb,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2011:AESa,% Anonymous:2011:AESb,% Anonymous:2011:AESc,% Anonymous:2011:AESd,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2012:AESa,% Anonymous:2012:AESb,% Anonymous:2012:AESc,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2013:AESa,% Anonymous:2013:AESb,% Anonymous:2013:AESc,% Anonymous:2014:AESa,% Anonymous:2014:AESb,% Anonymous:2014:PWC,% Anonymous:2014:PWM,% Anonymous:2015:PWC,% Barnes:1998:AEC,% Barnes:1998:AEG,% Tokar:2009:AEW,% Anonymous:1997:AEB,% Anonymous:1998:IAE,% Anonymous:1998:MPA,% Anonymous:2001:AEAa,% Anonymous:2001:AEAb,% Anonymous:2001:AEAc,% Anonymous:2001:AEAd,% Anonymous:2004:AEG,% Anonymous:2004:PMA,% Anonymous:2007:AEAa,% Anonymous:2007:AEAb,% Anonymous:2008:AEAa,% Anonymous:2008:AEAb,% Anonymous:2008:AEAc,% Anonymous:2008:AEAd,% Anonymous:2009:AEAa,% Anonymous:2009:AEAb,% Anonymous:2009:AEAc,% Anonymous:2009:AEAd,% Anonymous:2010:AEAa,% Anonymous:2010:AEAb,% Anonymous:2010:AEAc,% Anonymous:2010:AEAd,% Anonymous:2012:AEA,% Anonymous:2013:AEAa,% Anonymous:2013:LPA,% Anonymous:2014:AEA,% Anonymous:2014:AEAa,% Anonymous:2014:AEAb,% Anonymous:2014:AEAc,% Anonymous:2014:AES,% Anonymous:2014:AESc,% Anonymous:2015:AEAa,% Anonymous:2015:AEAb,% Anonymous:2015:AEAc,% Anonymous:2015:AEAd% }. \NAMECITE{{Europe}}{% Anonymous:2015:AESa,% Anonymous:2015:AESb,% Anonymous:2015:AESc,% Anonymous:2015:AESd,% Anonymous:2016:AEA,% Anonymous:2016:AES,% Masmano:2003:MFA% }. \NAMECITE{{European}}{% Rodriguez:2014:CSF% }. \NAMECITE{Evaluating}{% Black:2007:SES,% Sobczak:2009:EEA,% Wichmann:1988:EAS% }. \NAMECITE{evaluation}{% Marshall:1987:IUM,% Phillips:1987:AE% }. \NAMECITE{evaluator}{% Davies:1988:RE% }. \NAMECITE{Events}{% Anonymous:1995:FEb,% Anonymous:1996:FEa,% Anonymous:1996:FEb,% Anonymous:1997:FEa,% Anonymous:1997:FEb,% Anonymous:1998:FEb,% Anonymous:2001:FEa,% Anonymous:2001:FEb,% Anonymous:2001:FEc,% Anonymous:2001:FEd,% Anonymous:2002:FEa,% Anonymous:2002:FEb,% Anonymous:2002:FEc,% Anonymous:2002:FEd,% Anonymous:2003:FEa,% Anonymous:2003:FEb,% Anonymous:2003:FEc,% Anonymous:2003:FEd,% Anonymous:2004:FEa,% Anonymous:2004:FEb,% Anonymous:2004:FEc,% Anonymous:2005:FEa,% Anonymous:2005:FEb,% Anonymous:2005:FEc,% Anonymous:2005:FEd,% Anonymous:2006:FEa,% Anonymous:2006:FEb,% Anonymous:2006:FEc,% Anonymous:2006:FEd,% Anonymous:2007:FEa,% Anonymous:2007:FEb,% Anonymous:2007:FEc,% Anonymous:2007:FEd,% Anonymous:2008:FEa,% Anonymous:2008:FEb,% Anonymous:2008:FEc,% Anonymous:2008:FEd,% Anonymous:2009:FEa,% Anonymous:2009:FEb,% Anonymous:2009:FEc,% Anonymous:2009:FEd,% Anonymous:2010:FEa,% Anonymous:2010:FEb,% Anonymous:2010:FEc,% Anonymous:2010:FEd,% Anonymous:2011:FEa,% Anonymous:2011:FEb,% Anonymous:2011:FEc,% Anonymous:2012:FE,% Anonymous:2012:FEa,% Anonymous:2012:FEb,% Anonymous:2012:FEc,% Anonymous:2013:FEa,% Anonymous:2013:FEb,% Anonymous:2013:FEc,% Anonymous:2013:FEd,% Anonymous:2014:FE,% Anonymous:2014:FEa,% Anonymous:2014:FEb,% Anonymous:2014:FEc,% Anonymous:2015:FEa,% Anonymous:2015:FEb,% Anonymous:2015:FEc,% Anonymous:2015:FEd,% Anonymous:2016:FE,% Anonymous:1995:FEa,% Anonymous:1998:FEa% }. \NAMECITE{Evolutionary}{% Santos:2002:ECA% }. \NAMECITE{Exceptions}{% Barnes:1995:EA,% Barnes:2005:RAE% }. \NAMECITE{Executable}{% Baillon:2010:ERS% }. \NAMECITE{Executing}{% Sachez-Ledesma:2015:TBC% }. \NAMECITE{Execution}{% Bernat:2007:IOW,% Burns:2008:PET,% Davis:2009:ETA,% Gregertsen:2011:IUN,% Law:2015:EWC,% Rivas:2008:OSS,% Burns:1992:MME% }. \NAMECITE{Execution-Time}{% Burns:2008:PET% }. \NAMECITE{executive}{% Alonso:1992:RRE% }. \NAMECITE{Experience}{% Burns:2008:SIE,% Lopez:2010:EPD,% Mahieux:2006:UCB,% delaPuente:2014:ESB,% DeVroey:1996:MFE% }. \NAMECITE{Experiences}{% Amey:2004:PES,% Betz:1997:EAC,% Dobbing:1992:EPM,% McCormick:2008:ASE,% Sobczak:2009:EEA% }. \NAMECITE{experiment}{% Kermarrec:1995:IEF% }. \NAMECITE{experiments}{% Kermarrec:1988:SEA% }. \NAMECITE{Expressions}{% Attwood:2014:UCV,% Barnes:2012:RAE% }. \NAMECITE{Expressive}{% Burns:2003:IRT% }. \NAMECITE{Extensibility}{% Alonso:2014:TMC% }. \NAMECITE{Extraction}{% Mefteh:2014:FME% }. \NAMECITE{Families}{% Riche:1991:FHO% }. \NAMECITE{family}{% GonzalezBarahona:1997:LLF% }. \NAMECITE{Fault}{% Rogers:2009:SFT,% Kermarrec:1995:IEF,% Zweiacker:1997:MCA% }. \NAMECITE{Feasibility}{% Cancila:2014:FSU% }. \NAMECITE{Feature}{% Mefteh:2014:FME% }. \NAMECITE{Features}{% Gregertsen:2011:IUN,% Uruena:2008:INA% }. \NAMECITE{Field}{% Quadri:2015:MMC% }. \NAMECITE{Final}{% Anonymous:1995:FCA% }. \NAMECITE{Finder}{% Marriott:2005:ABF% }. \NAMECITE{Fine}{% Pinho:2016:SSF% }. \NAMECITE{Fine-grained}{% Pinho:2016:SSF% }. \NAMECITE{First}{% Anonymous:2012:PRF,% Masmano:2003:MFA,% Rodriguez:2014:CSF,% DeVroey:1996:MFE,% Keenan:1987:RDF% }. \NAMECITE{Five}{% Thombs:2001:MIM% }. \NAMECITE{Fixing}{% Taft:2004:FSB% }. \NAMECITE{Flexibility}{% David:2014:DRT% }. \NAMECITE{Flight}{% Martignano:2015:SCA% }. \NAMECITE{Flow}{% Efstathopoulos:2014:SRD% }. \NAMECITE{Formal}{% Dross:2014:SRF,% Hill:1988:FSV% }. \NAMECITE{Forthcoming}{% Anonymous:1995:FEa,% Anonymous:1995:FEb,% Anonymous:1996:FEa,% Anonymous:1996:FEb,% Anonymous:1997:FEa,% Anonymous:1997:FEb,% Anonymous:1998:FEa,% Anonymous:1998:FEb,% Anonymous:2001:FEa,% Anonymous:2001:FEb,% Anonymous:2001:FEc,% Anonymous:2001:FEd,% Anonymous:2002:FEa,% Anonymous:2002:FEb,% Anonymous:2002:FEc,% Anonymous:2002:FEd,% Anonymous:2003:FEa,% Anonymous:2003:FEb,% Anonymous:2003:FEc,% Anonymous:2003:FEd,% Anonymous:2004:FEa,% Anonymous:2004:FEb,% Anonymous:2004:FEc,% Anonymous:2005:FEa,% Anonymous:2005:FEb,% Anonymous:2005:FEc,% Anonymous:2005:FEd,% Anonymous:2006:FEa,% Anonymous:2006:FEb,% Anonymous:2006:FEc,% Anonymous:2006:FEd,% Anonymous:2007:FEa,% Anonymous:2007:FEb,% Anonymous:2007:FEc,% Anonymous:2007:FEd,% Anonymous:2008:FEa,% Anonymous:2008:FEb,% Anonymous:2008:FEc,% Anonymous:2008:FEd,% Anonymous:2009:FEa,% Anonymous:2009:FEb,% Anonymous:2009:FEc,% Anonymous:2009:FEd,% Anonymous:2010:FEa,% Anonymous:2010:FEb,% Anonymous:2010:FEc,% Anonymous:2010:FEd,% Anonymous:2011:FEa,% Anonymous:2011:FEb,% Anonymous:2011:FEc,% Anonymous:2012:FE,% Anonymous:2012:FEa,% Anonymous:2012:FEb,% Anonymous:2012:FEc,% Anonymous:2013:FEa,% Anonymous:2013:FEb,% Anonymous:2013:FEc,% Anonymous:2013:FEd,% Anonymous:2014:FE,% Anonymous:2014:FEa,% Anonymous:2014:FEb,% Anonymous:2014:FEc,% Anonymous:2015:FEa,% Anonymous:2015:FEb,% Anonymous:2015:FEc,% Anonymous:2015:FEd,% Anonymous:2016:FE% }. \NAMECITE{Framework}{% Comar:2007:ERB,% Delange:2009:CIO,% Klein:2006:PF,% Wellings:2008:FRT,% Corbin:1990:FOP,% Mearns:1987:SFD% }. \NAMECITE{Frameworks}{% Burns:2013:SSLa% }. \NAMECITE{Free}{% Anonymous:2014:PRA,% Rosen:2005:BIS% }. \NAMECITE{Frequently}{% Anonymous:1997:ASIb,% Anonymous:1997:ASId% }. \NAMECITE{Frog}{% Anonymous:1998:KPF% }. \NAMECITE{{FTP}}{% English:1994:FB% }. \NAMECITE{fully}{% Stuckey:1995:FCI% }. \NAMECITE{Functional}{% Moy:2015:SRG% }. \NAMECITE{Future}{% Quadri:2015:MMC% }. \NAMECITE{game}{% Andersen:2011:CUA% }. \NAMECITE{{GEC}}{% Gordon:1988:IAA% }. \NAMECITE{Gems}{% Anonymous:2007:AG,% Anonymous:2008:AGa,% Anonymous:2008:AGb,% Anonymous:2008:AGc,% Anonymous:2008:AGd,% Anonymous:2009:AGa,% Anonymous:2009:AGb,% Anonymous:2009:AGc,% Anonymous:2010:AGa,% Anonymous:2010:AGb,% Anonymous:2010:AGc,% Anonymous:2011:AGa,% Anonymous:2011:AGb,% Anonymous:2011:AGc,% Anonymous:2012:AGa,% Anonymous:2012:AGb,% Anonymous:2012:AGc,% Anonymous:2013:AGa,% Anonymous:2013:AGb,% Anonymous:2013:AGc,% Anonymous:2013:AGd,% Anonymous:2014:AG% }. \NAMECITE{General}{% Anonymous:2004:AEG,% Anonymous:2004:PMA,% Barnes:1998:AEG,% Gilchrist:1992:GPA% }. \NAMECITE{Generate}{% Betz:1997:EAC% }. \NAMECITE{Generating}{% Ramachandran:2006:GIA,% Vergnaud:2009:GCB% }. \NAMECITE{Generation}{% Burgio:2015:SNG,% Burgio:2016:SNG,% Dordowsky:2012:CCG,% Kersten:2002:CUD,% Palm:2012:UMD,% Pulido:2008:ACP,% Pierce:1995:STS,% Smart:1994:PPA% }. \NAMECITE{generator}{% Cholay:2014:ABD% }. \NAMECITE{Generic}{% Barnes:2001:DYU% }. \NAMECITE{Generics}{% Dordowsky:2012:CCG,% Jennings:2012:UPG,% Barnes:2005:RAE% }. \NAMECITE{Genetic}{% Santos:2002:ECA% }. \NAMECITE{Ghost}{% Moy:2015:SRG% }. \NAMECITE{{GNAT}}{% Anonymous:1995:UGR,% Bigelow:2013:UGE,% Grein:2014:PUG,% Kermarrec:1995:IEF,% Miranda:2003:GTG,% Miranda:2007:TCO,% Schonberg:2010:OHG% }. \NAMECITE{grained}{% Pinho:2016:SSF% }. \NAMECITE{graphic}{% Dipper:1988:GWA% }. \NAMECITE{{Graphical}}{% Brosgol:1987:DAB% }. \NAMECITE{Great}{% Alves:2004:NPG% }. \NAMECITE{{Group}}{% McDermid:1988:STR% }. \NAMECITE{Groups}{% Rivas:2008:OSS% }. \NAMECITE{Guide}{% Bradley:2011:AUG,% Burns:2001:GUA,% Rego:2012:AUG,% Rivas:2009:AUG,% Anonymous:1988:VCA,% Westley:1998:WJA% }. \NAMECITE{Guided}{% Miranda:2003:GTG% }. \NAMECITE{Guidelines}{% Gautier:1987:GUA,% Ramachandran:2005:ARG% }. \NAMECITE{Handling}{% Jan:2014:HCM% }. \NAMECITE{Hardware}{% Ferrero:2012:IHS,% Pitty:1987:LHS% }. \NAMECITE{Hardware/Software}{% Ferrero:2012:IHS% }. \NAMECITE{Harmful}{% Schonberg:2008:PAS,% Tooby:2010:OWC,% Gauthier:1992:PTC% }. \NAMECITE{harness}{% Gilchrist:1992:GPA% }. \NAMECITE{Heap}{% Plodereder:2013:HUH% }. \NAMECITE{Help}{% Taft:2004:FSB% }. \NAMECITE{heterogeneous}{% Chastek:1995:THC% }. \NAMECITE{{HI}}{% Vergnaud:2009:GCB% }. \NAMECITE{hiding}{% Liddiard:1993:ATW% }. \NAMECITE{Hierarchical}{% Barnes:19xx:AHL,% Barnes:1994:AHL% }. \NAMECITE{High}{% Dobbing:2002:CRS,% Dobbing:2010:RTP,% Jennings:2012:BUS,% Pawlak:2015:DMC,% Thornley:2011:IHI,% Uruena:2007:BHI,% Burns:2001:GUA,% Chapman:1995:SNT,% Liddiard:1994:UCO,% Riche:1991:FHO% }. \NAMECITE{High-Assurance}{% Jennings:2012:BUS% }. \NAMECITE{High-Integrity}{% Uruena:2007:BHI,% Chapman:1995:SNT% }. \NAMECITE{High-Risk}{% Pawlak:2015:DMC% }. \NAMECITE{highly}{% Hill:1991:CPLa,% Hill:1991:CPLb% }. \NAMECITE{history}{% Schonberg:2010:OHG% }. \NAMECITE{Home}{% Pawlak:2015:DMC% }. \NAMECITE{{HRG}}{% Burns:2001:GUA% }. \NAMECITE{Identifying}{% Bernat:2007:IOW% }. \NAMECITE{{IEC}}{% Barnes:2001:DYU,% Bennett:1990:NIS,% Leroy:2004:PDS,% Moore:2004:CIA,% Moore:2009:PRI,% WG9:2004:IAP% }. \NAMECITE{{IEEE}}{% Boldyreff:1987:ITS% }. \NAMECITE{{II}}{% Lester:1987:TIAa% }. \NAMECITE{{IMAGE}}{% Hunt:1988:PII% }. \NAMECITE{{IMAGES}}{% Hunt:1988:PII% }. \NAMECITE{impact}{% McAllister:1995:IAV,% Moore:1993:IAI% }. \NAMECITE{implement}{% Dordowsky:2012:CCG% }. \NAMECITE{Implementation}{% Burns:2008:SIE,% Gregertsen:2011:IUN,% Marshall:1987:IUM,% Pedro:2014:ITT,% Taft:2011:DPP,% Thornley:2011:IHI,% Burns:1987:ATI,% Stuckey:1995:FCI% }. \NAMECITE{Implementing}{% Bridges:2011:ISP,% Kermarrec:1995:IEF,% Priestley:1993:ISA,% Uruena:2008:INA,% DeVroey:1996:MFE% }. \NAMECITE{implications}{% Anonymous:1988:CIA,% Smith:1987:AIC% }. \NAMECITE{Important}{% Rosen:2008:AEI% }. \NAMECITE{Impressions}{% Barnes:2002:SII% }. \NAMECITE{Improvements}{% Vardanega:2013:SSI% }. \NAMECITE{improving}{% Ramachandran:2006:GIA% }. \NAMECITE{Including}{% Ferrero:2012:IHS% }. \NAMECITE{incompatibilities}{% Moore:1993:IAI% }. \NAMECITE{Increasing}{% Burns:2003:IRT% }. \NAMECITE{incremental}{% Crowe:1991:SIA% }. \NAMECITE{Industrial}{% Anonymous:2014:PWM,% Rosen:2008:CIC% }. \NAMECITE{Industrials}{% Rosen:2005:BIS% }. \NAMECITE{industry}{% Bundgaard:2012:RSP% }. \NAMECITE{Information}{% Anonymous:1995:ASI,% Anonymous:1996:ASIb,% Anonymous:1997:ASIa,% Anonymous:1997:ASIc,% Anonymous:1998:ASIa,% Anonymous:1998:ASIb,% Efstathopoulos:2014:SRD,% Anonymous:1995:AIS,% Anonymous:1996:ASIa% }. \NAMECITE{Infrastructure}{% Anonymous:1987:AUI% }. \NAMECITE{Inherent}{% Quadri:2015:MMC% }. \NAMECITE{inherited}{% Bigelow:2013:UGE% }. \NAMECITE{Initiative}{% Arkwright:2004:AAI% }. \NAMECITE{Innovative}{% Delange:2009:CIO% }. \NAMECITE{Insecurities}{% Wichmann:1990:IA% }. \NAMECITE{Instructions}{% Moore:2004:CIA,% WG9:2004:IAP% }. \NAMECITE{integrate}{% Ardouin:1990:XMI% }. \NAMECITE{Integrating}{% Humphris:2001:IAD,% Rego:2012:AUG,% Wellings:2007:IOT% }. \NAMECITE{Integrity}{% Dobbing:2002:CRS,% Dobbing:2010:RTP,% Thornley:2011:IHI,% Uruena:2007:BHI,% Burns:2001:GUA,% Chapman:1995:SNT,% Liddiard:1994:UCO% }. \NAMECITE{Interface}{% Anonymous:1997:ASIb,% Anonymous:1997:ASId,% Lyons:1987:TOP% }. \NAMECITE{interfaces}{% GonzalezBarahona:1997:LLF,% Kugler:1987:UUI,% Lyons:1987:RDT% }. \NAMECITE{Interfacing}{% Ausden:2008:ACI,% Michell:2008:IAO% }. \NAMECITE{International}{% Anonymous:1987:AUI,% Anonymous:1994:AUI,% Anonymous:2013:OIR,% Anonymous:2016:OIR,% Burns:2010:PRI,% Burns:2013:RIR,% Dobbing:2003:IRT,% Michell:2010:CIR,% Rivas:2011:IRT,% Wellings:1997:EIR,% delaPuente:2007:IRT,% Anonymous:1995:SAL,% Dowling:1988:SPI,% Anonymous:1995:RIA% }. \NAMECITE{Interworking}{% Smart:1994:IBA% }. \NAMECITE{Introducing}{% Gordon:1988:IAA% }. \NAMECITE{Introduction}{% Anonymous:1998:IAE,% Barnes:2004:RAI,% Barnes:2011:RAI,% Keenan:1987:RDF% }. \NAMECITE{Investment}{% Brandon:2006:AME% }. \NAMECITE{Invitation}{% Anonymous:1996:IAS,% Leroy:2002:IA% }. \NAMECITE{{IPSE}}{% Snowdon:1988:BOI% }. \NAMECITE{IRTAW}{% Anonymous:2013:OIR,% Anonymous:2016:OIR,% Rivas:2011:IRT,% delaPuente:2007:IRT,% Barnes:2002:SII,% delaPuente:2008:SCP% }. \NAMECITE{IRTAW-13}{% delaPuente:2007:IRT% }. \NAMECITE{IRTAW-15}{% Rivas:2011:IRT% }. \NAMECITE{{IRTAW14}}{% Burns:2010:PRI% }. \NAMECITE{IRTAW8}{% Wellings:1997:EIR,% Anonymous:1997:WRI% }. \NAMECITE{{ISO}}{% Anonymous:2012:PRA,% Anonymous:2013:ALS,% Anonymous:2016:PRA,% Barnes:2001:DYU,% Leroy:2004:PDS,% Moore:2004:CIA,% Moore:2009:PRI% }. \NAMECITE{{ISO/IEC}}{% Barnes:2001:DYU,% Leroy:2004:PDS,% Moore:2004:CIA,% Moore:2009:PRI,% WG9:2004:IAP% }. \NAMECITE{issue}{% Lester:1987:TIAa,% Lester:1987:TIAb,% Lester:1987:TIAc,% Lester:1988:TIAa,% Lester:1988:TIAb% }. \NAMECITE{Issues}{% Burns:2016:SSC,% Real:2013:SSM,% Real:2013:SSO,% Thombs:2001:MIM,% Vardanega:2007:SLI,% Vardanega:2010:SSL,% Wellings:2013:SSM,% delaPuente:2013:SSC,% Alonso:1992:RRE,% Burns:1987:ATI,% Kenward:1991:AUI,% Lester:1988:TIAa% }. \NAMECITE{Iterators}{% Barnes:2012:RAI% }. \NAMECITE{{IV}}{% Lester:1987:TIAc% }. \NAMECITE{{Java}}{% Andersen:2014:PLJ,% Brosgol:1998:WAR,% Brosgol:2004:RTJ,% Sanden:2002:RTP,% Schonberg:2008:PAS,% Westley:1998:WJA% }. \NAMECITE{{Journal}}{% Anonymous:1996:EPAa,% Anonymous:1996:EPAb,% Anonymous:1997:EPAa,% Anonymous:1997:EPAb,% Anonymous:1998:EPAa,% Anonymous:1998:EPAb,% Anonymous:2001:EPAa,% Anonymous:2001:EPAb,% Anonymous:2001:EPAc,% Anonymous:2001:EPAd,% Anonymous:2002:EPAa,% Anonymous:2002:EPAb,% Anonymous:2002:EPAc,% Anonymous:2002:EPAd,% Anonymous:2003:EPAa,% Anonymous:2003:EPAb,% Anonymous:2003:EPAc,% Anonymous:2003:EPAd,% Anonymous:2004:EPAa,% Anonymous:2004:EPAb,% Anonymous:2004:EPAc,% Anonymous:2005:EPAa,% Anonymous:2005:EPAb,% Anonymous:2005:EPAc,% Anonymous:2005:EPAd,% Anonymous:2006:EPAa,% Anonymous:2006:EPAb,% Anonymous:2006:EPAc,% Anonymous:2006:EPAd,% Anonymous:2007:EPAa,% Anonymous:2007:EPAb,% Anonymous:2007:EPAc,% Anonymous:2007:EPAd,% Anonymous:2008:EPAa,% Anonymous:2008:EPAb,% Anonymous:2008:EPAc,% Anonymous:2008:EPAd,% Anonymous:2009:EPAa,% Anonymous:2009:EPAb,% Anonymous:2009:EPAc,% Anonymous:2009:EPAd,% Anonymous:2010:EPAa,% Anonymous:2010:EPAb,% Anonymous:2010:EPAc,% Anonymous:2010:EPAd,% Anonymous:2011:EPAa,% Anonymous:2011:EPAb,% Anonymous:2011:EPAc,% Anonymous:2011:EPAd,% Anonymous:2012:EPAa,% Anonymous:2012:EPAb,% Anonymous:2012:EPAc,% Barnes:2009:TYA,% Anonymous:2012:EPB,% Anonymous:2013:EPBa,% Anonymous:2013:EPBb,% Anonymous:2013:EPBc,% Anonymous:2013:EPBd,% Anonymous:2014:EPAa,% Anonymous:2014:EPAb,% Anonymous:2014:EPAc,% Anonymous:2014:EPAd,% Anonymous:2015:EPAa,% Anonymous:2015:EPAb,% Anonymous:2015:EPAc,% Anonymous:2015:EPAd,% Anonymous:2016:EPA% }. \NAMECITE{{JSD}}{% Cameron:1987:MJN,% Lawton:1988:TJS% }. \NAMECITE{Kernel}{% Brosgol:1987:DAB,% Uruena:2008:INA% }. \NAMECITE{Kissing}{% Anonymous:1998:KPF% }. \NAMECITE{know}{% Barnes:1996:WDK,% Barnes:2010:WDK% }. \NAMECITE{{Kron}}{% David:2014:DRT% }. \NAMECITE{{Kron-OS}}{% David:2014:DRT% }. \NAMECITE{lady}{% Marshall:1988:ASR% }. \NAMECITE{lang}{% Lindgren:2014:RLS% }. \NAMECITE{Language}{% Anonymous:2010:WLC,% Anonymous:2012:PRA,% Anonymous:2013:ALS,% Anonymous:2013:PRA,% Anonymous:2014:PRA,% Anonymous:2016:PRA,% Barnes:2015:BAL,% Burns:2013:SSLa,% Chapman:2009:PCE,% Gilchrist:2001:CAL,% Leroy:2006:MLD,% Leroy:2010:MLD,% Michell:2009:APL,% Moore:2009:PRI,% Ochem:2009:BCL,% Rosen:2009:RPL,% Vardanega:2007:SLI,% Vardanega:2009:ALS,% Vardanega:2010:SSL,% Wellings:2016:SSL,% Anonymous:1995:SAL,% Hill:1991:CPLa,% Hill:1991:CPLb,% Larkham:1994:ATL,% Riehle:1998:RDL,% Sherif:1992:ASL,% Vardanega:2012:WLT,% Taft:2011:DPP% }. \NAMECITE{Languages}{% Pitty:1987:LHS,% Sanchez:2001:ADP,% Barnes:1996:WDK,% Riche:1991:FHO,% Rogers:2001:BRR% }. \NAMECITE{Large}{% Cousins:2002:TLP,% Bigelow:2013:UGE,% Marshall:1988:ASR% }. \NAMECITE{law}{% Lester:1987:TIAa,% Culwin:1996:BLS% }. \NAMECITE{{Layer}}{% GonzalezBarahona:1997:LLF% }. \NAMECITE{Leadership}{% Bamberger:1995:SPP% }. \NAMECITE{Leaks}{% Andersen:2014:PLJ% }. \NAMECITE{Least}{% Brandon:2006:AME% }. \NAMECITE{led}{% Feiler:2015:ALR% }. \NAMECITE{Legacy}{% Mahieux:2006:UCB,% Vicary:1995:ULS% }. \NAMECITE{{LEGO}}{% Bradley:2011:AUG% }. \NAMECITE{Lessons}{% Bamberger:1995:SPP% }. \NAMECITE{Letter}{% Anonymous:2010:WLC,% Anonymous:2013:LPA% }. \NAMECITE{Letters}{% Anonymous:1997:LE% }. \NAMECITE{Level}{% Kamei:2012:TSV,% Law:2015:EWC% }. \NAMECITE{Liaison}{% Anonymous:1995:RIA% }. \NAMECITE{Libraries}{% Gonzalez-Harbour:2008:SPP% }. \NAMECITE{Library}{% Barnes:19xx:AHL,% Barnes:2013:RAP,% Barnes:1994:AHL,% Barnes:2005:RAP,% Heaney:2004:CCL,% Yu:1998:UOT% }. \NAMECITE{Life}{% Mahieux:2006:UCB,% Sanden:2012:ELM% }. \NAMECITE{Line}{% Bridges:2011:ISP,% Dordowsky:2012:CCG,% Andersen:2011:CUA% }. \NAMECITE{Linear}{% Jan:2014:HCM% }. \NAMECITE{Lines}{% Stadlmann:2005:ADB,% Briggs:1994:TTL% }. \NAMECITE{list}{% Anonymous:1988:CLV% }. \NAMECITE{Living}{% Sandberg:2005:LTS% }. \NAMECITE{{LNCS}}{% Anonymous:2014:PRA% }. \NAMECITE{local}{% Burhouse:1987:LCA% }. \NAMECITE{Locking}{% Burns:2013:SSLb% }. \NAMECITE{{LOTOS}}{% Manas:1992:ARL% }. \NAMECITE{{Lovelace}}{% Charman-Anderson:2015:ALV,% Fuegi:2015:LBC,% RinoNesin:2015:ALS% }. \NAMECITE{{Low}}{% Wichmann:1990:LAV% }. \NAMECITE{{Low-Ada}}{% Wichmann:1990:LAV% }. \NAMECITE{{Lower}}{% GonzalezBarahona:1997:LLF% }. \NAMECITE{{Ltd}}{% Gordon:1988:IAA% }. \NAMECITE{maintain}{% Bigelow:2013:UGE% }. \NAMECITE{Maintenance}{% Anonymous:2010:WLC,% Harbaugh:2009:PBR% }. \NAMECITE{Major}{% Thombs:2001:MIM% }. \NAMECITE{Making}{% Zweiacker:1997:MCA% }. \NAMECITE{{MALPAS}}{% Webb:1990:MA% }. \NAMECITE{Management}{% Rodriguez:2014:CSF% }. \NAMECITE{managing}{% Richmond:1987:OMD% }. \NAMECITE{mandated}{% Briggs:1996:DSP% }. \NAMECITE{Mapping}{% Cameron:1987:MJN,% Kruchten:1994:MOD% }. \NAMECITE{Market}{% Brandon:2006:AME,% Gilchrist:2001:CAL% }. \NAMECITE{marketing}{% Anonymous:1995:AUM,% Anonymous:1996:NMC,% Anonymous:1996:RMC% }. \NAMECITE{{MaRTE}}{% Rivas:2009:AUG% }. \NAMECITE{{MASCOT}}{% Foulkes:1988:DCC,% Elliott:1987:MAA% }. \NAMECITE{matter}{% Riehle:1998:RDL% }. \NAMECITE{mature}{% Tokar:1994:EAM% }. \NAMECITE{Me}{% Anonymous:2012:ATB,% Anonymous:2012:PRF% }. \NAMECITE{means}{% Ardouin:1990:XMI% }. \NAMECITE{Measuring}{% Burns:1992:MME% }. \NAMECITE{mechanism}{% Kermarrec:1995:IEF% }. \NAMECITE{Medical}{% Pawlak:2015:DMC% }. \NAMECITE{Meet}{% Anonymous:1996:MS% }. \NAMECITE{Meeting}{% Anonymous:1997:MRA% }. \NAMECITE{meets}{% Forrester:1988:WMC% }. \NAMECITE{Members}{% Anonymous:2001:AEAa,% Anonymous:2001:AEAb,% Anonymous:2001:AEAc,% Anonymous:2001:AEAd,% Anonymous:2007:AEAa,% Anonymous:2007:AEAb,% Anonymous:2008:AEAa,% Anonymous:2008:AEAb,% Anonymous:2008:AEAc,% Anonymous:2008:AEAd,% Anonymous:2009:AEAa,% Anonymous:2009:AEAb,% Anonymous:2009:AEAc,% Anonymous:2009:AEAd,% Anonymous:2010:AEAa,% Anonymous:2010:AEAb,% Anonymous:2010:AEAc,% Anonymous:2010:AEAd,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2012:AEA,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2013:AEAa,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2014:AEA,% Anonymous:2014:AEAa,% Anonymous:2014:AEAb,% Anonymous:2014:AEAc,% Anonymous:2015:AEAa,% Anonymous:2015:AEAb,% Anonymous:2015:AEAc,% Anonymous:2015:AEAd,% Anonymous:2016:AEA% }. \NAMECITE{Memories}{% Leroy:2006:MLD,% Leroy:2010:MLD% }. \NAMECITE{Message}{% Anonymous:1996:MYN,% Anonymous:1998:MCA,% Anonymous:1998:MPA% }. \NAMECITE{Metamodel}{% Pulido:2008:ACP% }. \NAMECITE{Metamodel-Based}{% Pulido:2008:ACP% }. \NAMECITE{Methodologies}{% Quadri:2015:MMC% }. \NAMECITE{Methodology}{% Mazzini:2015:CPO% }. \NAMECITE{methods}{% Liddiard:1993:ATW% }. \NAMECITE{metrics}{% Anonymous:1995:SRM,% Wearing:1991:SDM% }. \NAMECITE{Micro}{% Rego:2012:AUG% }. \NAMECITE{Micro-Controllers}{% Rego:2012:AUG% }. \NAMECITE{military}{% Firesmith:1993:POM% }. \NAMECITE{MINDSTORMS}{% Bradley:2011:AUG% }. \NAMECITE{missing}{% Wellings:2007:IOT% }. \NAMECITE{Mixed}{% Alonso:2014:TMC,% Anonymous:2014:PWM,% Cohen:2014:MCR,% Cros:2014:MCS,% David:2014:DRT,% Davis:2014:PPA,% Lindgren:2014:RLS% }. \NAMECITE{Mixed-Criticality}{% Alonso:2014:TMC,% Davis:2014:PPA% }. \NAMECITE{MOD}{% Marshall:1987:IUM,% Thombs:2001:MIM% }. \NAMECITE{Mode}{% Jan:2014:HCM% }. \NAMECITE{Model}{% Ferrero:2012:IHS,% Hawkins:2015:NWM,% Mefteh:2014:FME,% Palm:2012:UMD,% Barnes:2005:RAO,% Dobbing:1992:EPM% }. \NAMECITE{Modeling}{% Quadri:2015:MMC,% Sanden:2012:ELM% }. \NAMECITE{modelling}{% Arnaudo:1987:SAP% }. \NAMECITE{Models}{% Gallina:2015:DRP% }. \NAMECITE{{Modula}}{% Forrester:1988:WMC% }. \NAMECITE{{Modula-2}}{% Forrester:1988:WMC% }. \NAMECITE{Monitoring}{% Moore:2009:DSM,% Burns:1992:MME% }. \NAMECITE{Mordechai}{% Vardanega:2009:BRA% }. \NAMECITE{Motions}{% Anonymous:2004:PMA% }. \NAMECITE{multi}{% Andersen:2011:CUA,% Sandberg:2005:LTS% }. \NAMECITE{multi-user}{% Andersen:2011:CUA% }. \NAMECITE{Multicomputer}{% MenendezdeLlanoRozas:1996:ADS% }. \NAMECITE{Multicore}{% Pinho:2013:SSP% }. \NAMECITE{Multiprocessor}{% Burns:2010:MSS,% Real:2013:SSM,% Wellings:2013:SSM% }. \NAMECITE{{Murphy}}{% Lester:1987:TIAa% }. \NAMECITE{My}{% DeVroey:1996:MFE,% Masmano:2003:MFA% }. \NAMECITE{{MyCCM}}{% Vergnaud:2009:GCB% }. \NAMECITE{{MyCCM-HI}}{% Vergnaud:2009:GCB% }. \NAMECITE{National}{% Anonymous:2001:AEAa,% Anonymous:2001:AEAb,% Anonymous:2001:AEAc,% Anonymous:2001:AEAd,% Anonymous:2007:AEAa,% Anonymous:2007:AEAb,% Anonymous:2008:AEAa,% Anonymous:2008:AEAb,% Anonymous:2008:AEAc,% Anonymous:2008:AEAd,% Anonymous:2009:AEAa,% Anonymous:2009:AEAb,% Anonymous:2009:AEAc,% Anonymous:2009:AEAd,% Anonymous:2010:AEAa,% Anonymous:2010:AEAb,% Anonymous:2010:AEAc,% Anonymous:2010:AEAd,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2012:AEA,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2013:AEAa,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2014:AEA,% Anonymous:2014:AEAa,% Anonymous:2014:AEAb,% Anonymous:2014:AEAc,% Anonymous:2015:AEAa,% Anonymous:2015:AEAb,% Anonymous:2015:AEAc,% Anonymous:2015:AEAd,% Anonymous:2016:AEA% }. \NAMECITE{{NATO}}{% Syms:1987:AN% }. \NAMECITE{Naval}{% Cousins:2008:PNC% }. \NAMECITE{Need}{% Hawkins:2015:NWM% }. \NAMECITE{nets}{% Dausmann:1987:RPU% }. \NAMECITE{network}{% Arnaudo:1987:SAP,% Cameron:1987:MJN% }. \NAMECITE{Networks}{% Cros:2014:MCS% }. \NAMECITE{News}{% Andersen:2015:QNDa,% Andersen:2015:QNDv,% Anonymous:1995:Na,% Anonymous:1995:Nb,% Anonymous:1995:Nc,% Anonymous:1996:NMC,% Anonymous:1996:Na,% Anonymous:1996:Nb,% Anonymous:1997:Na,% Anonymous:1997:Nb,% Anonymous:1998:Na,% Anonymous:1998:Nb,% Anonymous:2001:Na,% Anonymous:2001:Nb,% Anonymous:2001:Nc,% Anonymous:2001:Nd,% Anonymous:2002:Na,% Anonymous:2002:Nb,% Anonymous:2002:Nc,% Anonymous:2002:Nd,% Anonymous:2003:Na,% Anonymous:2003:Nb,% Anonymous:2003:Nc,% Anonymous:2003:Nd,% Anonymous:2004:Na,% Anonymous:2004:Nb,% Anonymous:2004:Nc,% Anonymous:2004:Nd,% Anonymous:2005:Na,% Anonymous:2005:Nb,% Anonymous:2005:Nc,% Anonymous:2005:Nd,% Anonymous:2006:Na,% Anonymous:2006:Nb,% Anonymous:2006:Nc,% Anonymous:2006:Nd,% Anonymous:2007:Na,% Anonymous:2007:Nb,% Anonymous:2007:Nc,% Anonymous:2007:Nd,% Anonymous:2008:Na,% Anonymous:2008:Nb,% Anonymous:2008:Nc,% Anonymous:2008:Nd,% Anonymous:2009:Na,% Anonymous:2009:Nb,% Anonymous:2009:Nc,% Anonymous:2009:Nd,% Anonymous:2010:QNDa,% Anonymous:2010:QNDb,% Anonymous:2010:QNDc,% Anonymous:2010:QNDd,% Anonymous:2011:QNDa,% Anonymous:2011:QNDb,% Anonymous:2011:QNDc,% Anonymous:2011:QNDd,% Anonymous:2012:QND,% Anonymous:2012:QNDa,% Anonymous:2012:QNDb,% Anonymous:2012:QNDc,% Anonymous:2013:QNDa,% Anonymous:2013:QNDb,% Anonymous:2013:QNDc,% Anonymous:2013:QNDd,% Anonymous:2014:QND,% Anonymous:2014:QNDa,% Anonymous:2014:QNDb,% Anonymous:2014:QNDc,% Anonymous:2015:QNDb,% Anonymous:2015:QNDc,% Anonymous:2016:QND% }. \NAMECITE{Next}{% Burgio:2015:SNG,% Burgio:2016:SNG,% Moore:2004:SNV,% Thombs:2001:MIM,% delaPuente:2008:SCP% }. \NAMECITE{Next-Generation}{% Burgio:2015:SNG,% Burgio:2016:SNG% }. \NAMECITE{No}{% Alves:2004:NPG% }. \NAMECITE{node}{% Hosseinzaman:1994:AVN% }. \NAMECITE{non}{% Feldman:1993:WUA% }. \NAMECITE{non-defense}{% Feldman:1993:WUA% }. \NAMECITE{Note}{% Bennett:1990:NIS% }. \NAMECITE{'{{{Notes}}}}{% Fuegi:2015:LBC,% Lovelace:2015:NTS,% Anonymous:1995:VN% }. \NAMECITE{nothing}{% Barnes:1996:WDK,% Barnes:2010:WDK% }. \NAMECITE{Numeric}{% Barnes:2003:ANP% }. \NAMECITE{numerical}{% Bartholomew-Biggs:1991:NAO% }. \NAMECITE{{NXT}}{% Bradley:2011:AUG% }. \NAMECITE{{O2}}{% Bazex:1995:APT% }. \NAMECITE{Object}{% Barnes:1993:OPA,% Barnes:2005:RAO,% Ellis:1996:OOD,% Firesmith:1993:OAD,% Miranda:2007:TCO,% Moy:2015:SRG,% Sanchez:2001:ADP,% Taft:2003:OOP,% Taft:2010:OOP,% Yu:1998:UOT,% Corbin:1990:FOP,% Firesmith:1993:POM,% Kruchten:1994:MOD% }. \NAMECITE{Object-Oriented}{% Miranda:2007:TCO,% Sanchez:2001:ADP,% Taft:2003:OOP,% Taft:2010:OOP,% Yu:1998:UOT,% Barnes:1993:OPA,% Firesmith:1993:OAD,% Corbin:1990:FOP,% Firesmith:1993:POM,% Kruchten:1994:MOD% }. \NAMECITE{objects}{% Barnes:1993:POA,% Gargaro:1995:TRS% }. \NAMECITE{{Ocarina}}{% Vergnaud:2009:GCB% }. \NAMECITE{off}{% Liddiard:1994:UCO% }. \NAMECITE{off-the-shelf}{% Liddiard:1994:UCO% }. \NAMECITE{old}{% Bartholomew-Biggs:1991:NAO% }. \NAMECITE{old-numerical}{% Bartholomew-Biggs:1991:NAO% }. \NAMECITE{On-board}{% delaPuente:2014:ESB% }. \NAMECITE{on-line}{% Andersen:2011:CUA% }. \NAMECITE{One}{% McCormick:2008:ASE% }. \NAMECITE{{OO}}{% Smith:1996:OPA,% Varaprasad:2006:NSP% }. \NAMECITE{{OO}-programming}{% Smith:1996:OPA% }. \NAMECITE{{OODBMS}}{% Bazex:1995:APT% }. \NAMECITE{{OOP}}{% Wellings:2007:IOT% }. \NAMECITE{Open}{% Delange:2009:CIO,% Mazzini:2015:CPO,% Real:2013:SSO% }. \NAMECITE{Opening}{% Baker:1990:OAT% }. \NAMECITE{Operating}{% Mazzini:2015:CPO,% Michell:2008:IAO,% Rivas:2008:OSS,% Boldyreff:1987:ITS% }. \NAMECITE{Opinion}{% Tooby:2010:OWC% }. \NAMECITE{Opportunities}{% Bernat:2007:IOW% }. \NAMECITE{Optimization}{% Davis:2009:ETA% }. \NAMECITE{order}{% Riche:1991:FHO% }. \NAMECITE{Organisations}{% Anonymous:2001:AEAa% }. \NAMECITE{Organizations}{% Anonymous:2001:AEAb,% Anonymous:2001:AEAc,% Anonymous:2001:AEAd,% Anonymous:2007:AEAa,% Anonymous:2007:AEAb,% Anonymous:2008:AEAa,% Anonymous:2008:AEAb,% Anonymous:2008:AEAc,% Anonymous:2008:AEAd,% Anonymous:2009:AEAa,% Anonymous:2009:AEAb,% Anonymous:2009:AEAc,% Anonymous:2009:AEAd,% Anonymous:2010:AEAa,% Anonymous:2010:AEAb,% Anonymous:2010:AEAc,% Anonymous:2010:AEAd,% Anonymous:2011:AEAa,% Anonymous:2011:AEAb,% Anonymous:2011:AEAc,% Anonymous:2011:AEAd,% Anonymous:2012:AEA,% Anonymous:2012:AEAa,% Anonymous:2012:AEAb,% Anonymous:2012:AEAc,% Anonymous:2013:AEAa,% Anonymous:2013:AEAb,% Anonymous:2013:AEAc,% Anonymous:2013:AEAd,% Anonymous:2014:AEA,% Anonymous:2014:AEAa,% Anonymous:2014:AEAb,% Anonymous:2014:AEAc,% Anonymous:2015:AEAa,% Anonymous:2015:AEAb,% Anonymous:2015:AEAc,% Anonymous:2015:AEAd,% Anonymous:2016:AEA% }. \NAMECITE{Oriented}{% Ellis:1996:OOD,% Miranda:2007:TCO,% Moy:2015:SRG,% Sanchez:2001:ADP,% Taft:2003:OOP,% Taft:2010:OOP,% Yu:1998:UOT,% Barnes:1993:OPA,% Barnes:2005:RAO,% Corbin:1990:FOP,% Firesmith:1993:OAD,% Firesmith:1993:POM,% Kruchten:1994:MOD% }. \NAMECITE{Origins}{% Schonberg:2010:OHG% }. \NAMECITE{Other}{% Brosgol:2008:SAO% }. \NAMECITE{our}{% Vardanega:2012:WLT% }. \NAMECITE{Overview}{% Anonymous:2013:OIR,% Anonymous:2016:OIR,% Lyons:1987:TOP,% Richmond:1987:OMD,% Snowdon:1988:BOI% }. \NAMECITE{{Oxford}}{% RinoNesin:2015:ALS% }. \NAMECITE{package}{% Arnaudo:1987:SAP% }. \NAMECITE{Packages}{% Barnes:2003:ANP,% Hunt:1988:PII,% Heerfordt:1987:SAP,% Pyle:1995:VAP% }. \NAMECITE{Packaging}{% Smart:1994:PPA,% Liddiard:1993:ATW% }. \NAMECITE{page}{% Anonymous:1996:EP% }. \NAMECITE{Panel}{% Plodereder:2013:HUH% }. \NAMECITE{Papers}{% Anonymous:1998:P% }. \NAMECITE{{Paraffin}}{% Moore:2011:CWS% }. \NAMECITE{Parallel}{% Pinho:2013:SSP,% Ward:2008:SSB,% Taft:2011:DPP% }. \NAMECITE{Parallelism}{% Forest:1987:PA,% Pinho:2016:SSF,% Moore:2011:CWS% }. \NAMECITE{{ParaSail}}{% Taft:2011:DPP% }. \NAMECITE{{Paris}}{% Arkwright:2004:AAI% }. \NAMECITE{part}{% Furgel:2007:SSD,% Real:2013:SSM,% Wellings:2013:SSM% }. \NAMECITE{Partitioned}{% Alonso:2014:TMC% }. \NAMECITE{Partitioning}{% Alonso:2014:TMC% }. \NAMECITE{partitions}{% Dobbing:1992:EPM% }. \NAMECITE{passive}{% Locke:1992:RPT% }. \NAMECITE{Pattern}{% Harbaugh:2009:PBR,% Varaprasad:2006:NSP% }. \NAMECITE{Pattern-Based}{% Harbaugh:2009:PBR% }. \NAMECITE{Patterns}{% Ellis:1996:OOD,% Gonzalez-Harbour:2008:SPP,% Pulido:2008:ACP% }. \NAMECITE{{PCTE}}{% Dowling:1988:SPI,% Lyons:1987:RDT,% Lyons:1987:TOP,% Morron:1988:PU% }. \NAMECITE{pedagogy}{% Culwin:1996:BLS% }. \NAMECITE{persistence}{% Bazex:1995:APT% }. \NAMECITE{Persistent}{% Andersen:2015:PCA% }. \NAMECITE{perspective}{% Bundgaard:2012:RSP,% Kim:1987:AUU% }. \NAMECITE{Physical}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Burgio:2015:SNG,% Burgio:2016:SNG,% Grein:2014:PUG,% Pawlak:2015:DMC,% Quadri:2015:MMC% }. \NAMECITE{Pilot}{% Sobczak:2009:EEA% }. \NAMECITE{plan}{% Anderson:1992:APR% }. \NAMECITE{Planning}{% Firesmith:1993:POM% }. \NAMECITE{Plans}{% delaPuente:2008:SCP% }. \NAMECITE{Platform}{% Martignano:2015:SCA% }. \NAMECITE{Platforms}{% Burgio:2015:SNG,% Burgio:2016:SNG% }. \NAMECITE{Pointers}{% Alves:2004:NPG,% Grein:1999:SP% }. \NAMECITE{policies}{% Smart:1994:PPA% }. \NAMECITE{Policy}{% Anonymous:1996:EPAa,% Anonymous:1996:EPAb,% Anonymous:1997:EPAa,% Anonymous:1997:EPAb,% Anonymous:1998:EPAa,% Anonymous:1998:EPAb,% Anonymous:2001:EPAa,% Anonymous:2001:EPAb,% Anonymous:2001:EPAc,% Anonymous:2001:EPAd,% Anonymous:2002:EPAa,% Anonymous:2002:EPAb,% Anonymous:2002:EPAc,% Anonymous:2002:EPAd,% Anonymous:2003:EPAa,% Anonymous:2003:EPAb,% Anonymous:2003:EPAc,% Anonymous:2003:EPAd,% Anonymous:2004:EPAa,% Anonymous:2004:EPAb,% Anonymous:2004:EPAc,% Anonymous:2005:EPAa,% Anonymous:2005:EPAb,% Anonymous:2005:EPAc,% Anonymous:2005:EPAd,% Anonymous:2006:EPAa,% Anonymous:2006:EPAb,% Anonymous:2006:EPAc,% Anonymous:2006:EPAd,% Anonymous:2007:EPAa,% Anonymous:2007:EPAb,% Anonymous:2007:EPAc,% Anonymous:2007:EPAd,% Anonymous:2008:EPAa,% Anonymous:2008:EPAb,% Anonymous:2008:EPAc,% Anonymous:2008:EPAd,% Anonymous:2009:EPAa,% Anonymous:2009:EPAb,% Anonymous:2009:EPAc,% Anonymous:2009:EPAd,% Anonymous:2010:EPAa,% Anonymous:2010:EPAb,% Anonymous:2010:EPAc,% Anonymous:2010:EPAd,% Anonymous:2011:EPAa,% Anonymous:2011:EPAb,% Anonymous:2011:EPAc,% Anonymous:2011:EPAd,% Anonymous:2012:EPAa,% Anonymous:2012:EPAb,% Anonymous:2012:EPAc,% Anonymous:2012:EPB,% Anonymous:2013:EPBa,% Anonymous:2013:EPBb,% Anonymous:2013:EPBc,% Anonymous:2013:EPBd,% Anonymous:2014:EPAa,% Anonymous:2014:EPAb,% Anonymous:2014:EPAc,% Anonymous:2014:EPAd,% Anonymous:2015:EPAa,% Anonymous:2015:EPAb,% Anonymous:2015:EPAc,% Anonymous:2015:EPAd,% Anonymous:2016:EPA,% Briggs:1996:DSP% }. \NAMECITE{Polymorphic}{% Anonymous:1998:KPF,% Sobczak:2010:PCA% }. \NAMECITE{Pools}{% Barnes:2012:RAI% }. \NAMECITE{portable}{% Boldyreff:1987:ITS% }. \NAMECITE{Porting}{% Cousins:2008:PNC% }. \NAMECITE{{POSIX}}{% Boldyreff:1987:ITS,% Chastek:1995:THC% }. \NAMECITE{{Postbank}}{% Paterson:1995:SPA% }. \NAMECITE{Power}{% Burns:2003:IRT% }. \NAMECITE{Practical}{% Amey:2004:PES,% Kleidermacher:2008:PAS% }. \NAMECITE{Practicum}{% Bamberger:1995:SPP% }. \NAMECITE{pre}{% Lester:1987:TIAa% }. \NAMECITE{pre-emption}{% Lester:1987:TIAa% }. \NAMECITE{Predefined}{% Barnes:1995:APE,% Barnes:2005:RAP,% Barnes:2013:RAP,% Gauthier:1992:PTC% }. \NAMECITE{Predictable}{% Locke:1990:PRA% }. \NAMECITE{Pregnancy}{% Pawlak:2015:DMC% }. \NAMECITE{Preparation}{% Moore:2004:CIA,% WG9:2004:IAP% }. \NAMECITE{{President}}{% Anonymous:1998:MPA,% Anonymous:2013:LPA% }. \NAMECITE{Press}{% Anonymous:2012:PRA,% Anonymous:2012:PRF,% Anonymous:2013:PRA,% Anonymous:2014:PRA,% Anonymous:2016:PRA% }. \NAMECITE{Principled}{% Schonberg:2008:PAS% }. \NAMECITE{Privacy}{% Andersen:2014:PLJ% }. \NAMECITE{Probabilistic}{% Davis:2014:PPA% }. \NAMECITE{problem}{% Sanden:1996:UTC% }. \NAMECITE{Proceedings}{% Anonymous:2014:PWC,% Anonymous:2014:PWM,% Anonymous:2015:PWC% }. \NAMECITE{Process}{% Bamberger:1995:SPP,% Ferrero:2012:IHS,% Gallina:2015:DRP,% Furgel:2007:SSD% }. \NAMECITE{Process-based}{% Gallina:2015:DRP% }. \NAMECITE{Processors}{% Wellings:2008:BAA% }. \NAMECITE{Procurement}{% Thombs:2001:MIM% }. \NAMECITE{Product}{% Bridges:2011:ISP,% Dordowsky:2012:CCG% }. \NAMECITE{professional}{% Burhouse:1987:LCA% }. \NAMECITE{Professor}{% McCormick:2008:ASE% }. \NAMECITE{Profile}{% Burns:2013:SSLa,% Bishop:1987:APC,% Lopez:2010:EPD,% Burns:2001:GUA,% Dobbing:2010:RTP% }. \NAMECITE{Program}{% MenendezdeLlanoRozas:1996:ADS,% Heerfordt:1987:SAP% }. \NAMECITE{programme}{% Burhouse:1987:LCA% }. \NAMECITE{Programmers}{% Brosgol:2004:RTJ% }. \NAMECITE{Programming}{% Anonymous:1998:APC,% Anonymous:2010:ASP,% Anonymous:2010:SPC,% Anonymous:2010:WLC,% Anonymous:2011:SPC,% Burns:2008:PET,% Chapman:2009:PCE,% Gonzalez-Harbour:2008:SPP,% Jan:2014:HCM,% Michell:2009:APL,% Moore:2009:PRI,% Moy:2015:SRG,% Rivas:2013:AAS,% Rogers:2001:BRR,% Rosen:2009:RPL,% Sanden:2002:RTP,% Taft:2003:OOP,% Taft:2010:OOP,% Barnes:1993:OPA,% Barnes:1996:WDK,% Corbin:1990:FOP,% Hill:1991:CPLa,% Hill:1991:CPLb,% Lopez:2010:EPD,% Smith:1996:OPA% }. \NAMECITE{Programs}{% Alves:2004:NPG,% Dobbing:2010:RTP,% Nonaka:1999:TDD,% Lester:1987:TIAb,% Losavio:1992:DTB% }. \NAMECITE{Progress}{% Burns:2010:PRI,% Moore:2009:PRI% }. \NAMECITE{Project}{% Anderson:1990:APS,% Brandon:2008:UAS,% Cousins:2002:TLP,% Sobczak:2009:EEA,% Anderson:1992:APR,% Sandberg:2005:LTS,% Snowdon:1988:BOI,% Burns:2010:ASVa,% Burns:2010:ASVb,% Mazzini:2015:CPO,% Palm:2012:UMD% }. \NAMECITE{projects}{% Firesmith:1993:OAD,% Firesmith:1993:POM,% Moore:1993:IAI% }. \NAMECITE{Proof}{% Jennings:2012:UPG% }. \NAMECITE{Properties}{% Cancila:2014:FSU% }. \NAMECITE{Proposal}{% Leroy:2004:PDS% }. \NAMECITE{Proposed}{% Anonymous:2004:PMA% }. \NAMECITE{Pros}{% Chapman:2009:PCE% }. \NAMECITE{Protected}{% Barnes:1993:POA,% Locke:1992:RPT% }. \NAMECITE{protocol}{% Zerzelidis:2007:CEP% }. \NAMECITE{Protocols}{% Burns:2013:SSLb,% Sanchez:2001:ADP,% GonzalezBarahona:1997:LLF,% Wellings:2013:SSM% }. \NAMECITE{prototyping}{% Dausmann:1987:RPU,% Grazebrook:1994:RP% }. \NAMECITE{{PROXIMA}}{% Davis:2014:PPA% }. \NAMECITE{Published}{% Anonymous:2013:PRA,% Anonymous:2014:PRA% }. \NAMECITE{Publisher}{% Klein:2006:PF% }. \NAMECITE{purpose}{% Gilchrist:1992:GPA% }. \NAMECITE{Quagmire}{% Taft:2004:FSB% }. \NAMECITE{Qualification}{% Ekman:2014:TQS% }. \NAMECITE{Quality}{% Bamberger:1995:SPP,% Martignano:2015:SCA,% Taft:2004:FSB% }. \NAMECITE{Quarterly}{% Andersen:2015:QNDa,% Andersen:2015:QNDv,% Anonymous:2010:QNDa,% Anonymous:2010:QNDb,% Anonymous:2010:QNDc,% Anonymous:2010:QNDd,% Anonymous:2011:QNDa,% Anonymous:2011:QNDb,% Anonymous:2011:QNDc,% Anonymous:2011:QNDd,% Anonymous:2012:QND,% Anonymous:2012:QNDa,% Anonymous:2012:QNDb,% Anonymous:2012:QNDc,% Anonymous:2013:QNDa,% Anonymous:2013:QNDb,% Anonymous:2013:QNDc,% Anonymous:2013:QNDd,% Anonymous:2014:QND,% Anonymous:2014:QNDa,% Anonymous:2014:QNDb,% Anonymous:2014:QNDc,% Anonymous:2015:QNDb,% Anonymous:2015:QNDc,% Anonymous:2016:QND% }. \NAMECITE{Questions}{% Anonymous:1997:ASIb,% Anonymous:1997:ASId% }. \NAMECITE{queueing}{% Arnaudo:1987:SAP,% Sherif:1992:ASL% }. \NAMECITE{queuing}{% Woodford:1995:CQS% }. \NAMECITE{Rail}{% Rodriguez:2014:CSF% }. \NAMECITE{Railway}{% Cohen:2014:MCR,% Gallina:2015:DRP% }. \NAMECITE{Rapid}{% Dausmann:1987:RPU,% Grazebrook:1994:RP% }. \NAMECITE{Rapidly}{% Kleidermacher:2006:DRS% }. \NAMECITE{rather}{% Brosgol:1998:WAR% }. \NAMECITE{{Rational}}{% Ward:1997:RRE% }. \NAMECITE{Rationale}{% Barnes:2004:RAI,% Barnes:2005:RAA,% Barnes:2005:RAC,% Barnes:2005:RAE,% Barnes:2005:RAO,% Barnes:2005:RAP,% Barnes:2005:RAS,% Barnes:2005:RAT,% Barnes:2006:RAE,% Barnes:2011:RAC,% Barnes:2011:RAI,% Barnes:2012:RAE,% Barnes:2012:RAI,% Barnes:2012:RAS,% Barnes:2012:RAT,% Barnes:2013:RAC,% Barnes:2013:RAE,% Barnes:2013:RAP,% Dross:2014:SRF,% Efstathopoulos:2014:SRD,% Moy:2013:SR,% Moy:2015:SRG,% Riche:1991:FHO,% Anonymous:2013:PRA% }. \NAMECITE{Ravenscar}{% Burns:2001:GUA,% Baird:2015:SRS,% Comar:2007:ERB,% Dobbing:2010:RTP,% Lopez:2010:EPD,% Uruena:2007:BHI% }. \NAMECITE{re}{% Keenan:1987:RDF% }. \NAMECITE{re-use}{% Keenan:1987:RDF% }. \NAMECITE{Reactive}{% Kersten:2002:CUD,% Sanden:2012:ELM% }. \NAMECITE{Real}{% Anonymous:2013:OIR,% Anonymous:2016:OIR,% Barnes:2005:RAT,% Barnes:2012:RAT,% Brosgol:2004:RTJ,% Burns:2003:IRT,% Burns:2010:PRI,% Burns:2013:RIR,% David:2014:DRT,% Dobbing:2003:IRT,% Dobbing:2010:RTP,% Plodereder:2013:HUH,% Rivas:2011:IRT,% Rivas:2013:AAS,% Rogers:2001:BRR,% Sanden:2002:RTP,% Uruena:2008:INA,% Wellings:1990:RRA,% Wellings:1997:EIR,% Wellings:2008:FRT,% delaPuente:2007:IRT,% Alonso:1992:RRE,% Chastek:1995:THC,% Elliott:1987:MAA,% Firesmith:1993:OAD,% Higgon:1994:DAR,% Locke:1990:PRA,% Mearns:1987:SFD,% Munch:1992:DSR,% Wearing:1991:SDM% }. \NAMECITE{Real-Time}{% Anonymous:2013:OIR,% Anonymous:2016:OIR,% Barnes:2005:RAT,% Barnes:2012:RAT,% Brosgol:2004:RTJ,% Burns:2003:IRT,% Burns:2010:PRI,% Burns:2013:RIR,% David:2014:DRT,% Dobbing:2003:IRT,% Dobbing:2010:RTP,% Michell:2010:CIR,% Plodereder:2013:HUH,% Rivas:2011:IRT,% Rivas:2013:AAS,% Rogers:2001:BRR,% Uruena:2008:INA,% Wellings:1997:EIR,% Wellings:2008:FRT,% delaPuente:2007:IRT,% Sanden:2002:RTP,% Wellings:1990:RRA,% Alonso:1992:RRE,% Chastek:1995:THC,% Elliott:1987:MAA,% Firesmith:1993:OAD,% Locke:1990:PRA,% Mearns:1987:SFD,% Munch:1992:DSR,% Wearing:1991:SDM% }. \NAMECITE{reality}{% McAllister:1995:IAV% }. \NAMECITE{realization}{% Manas:1992:ARL% }. \NAMECITE{really}{% Marshall:1988:ASR% }. \NAMECITE{reasonable}{% Lester:1987:TIAa% }. \NAMECITE{records}{% Locke:1992:RPT% }. \NAMECITE{recovery}{% Zweiacker:1997:MCA% }. \NAMECITE{Reduction}{% Bernat:2007:IOW% }. \NAMECITE{Refactoring}{% Harbaugh:2009:PBR% }. \NAMECITE{Regional}{% Stadlmann:2005:ADB% }. \NAMECITE{Related}{% Cancila:2014:FSU,% Ekman:2014:TQS,% Liddiard:1994:UCO% }. \NAMECITE{relationship}{% Longhurst:1993:DAR% }. \NAMECITE{Release}{% Anonymous:2012:PRA,% Anonymous:2012:PRF,% Anonymous:2013:PRA,% Anonymous:2014:PRA,% Anonymous:2016:PRA% }. \NAMECITE{Reliability}{% Riehle:1998:RDL,% Anonymous:1995:SRM% }. \NAMECITE{Reliable}{% Bundgaard:2012:RSP,% Davis:2009:ETA,% Kleidermacher:2006:DRS,% Mazzini:2015:CPO,% Sargsyan:2014:RSB,% Hill:1991:CPLa,% Hill:1991:CPLb% }. \NAMECITE{Remote}{% Moore:2009:DSM% }. \NAMECITE{Removing}{% Barnes:1994:RAW,% Rosen:2009:RPL% }. \NAMECITE{rendezvous}{% Locke:1990:PRA% }. \NAMECITE{Replacing}{% Locke:1992:RPT% }. \NAMECITE{Report}{% Anonymous:1995:RIA,% Anonymous:1996:RMC,% Anonymous:1997:MRA,% Anonymous:1997:WRI,% Burns:2010:PRI,% Burns:2013:RIR,% Mahieux:2006:UCB,% Moore:2009:PRI,% Plodereder:2013:HUH,% Real:2008:SRA,% Robinson:2013:RAC,% Anderson:1992:APR,% Anonymous:1995:AR,% Anonymous:1995:CR,% Anonymous:1995:UGR,% Feldman:1993:WUA% }. \NAMECITE{requeue}{% Wellings:2007:IOT% }. \NAMECITE{Requirements}{% Baillon:2010:ERS,% Feiler:2015:ALR,% Wellings:1990:RRA% }. \NAMECITE{Research}{% McDermid:1988:STR,% Quadri:2015:MMC% }. \NAMECITE{resource}{% Wellings:2013:SSM% }. \NAMECITE{response}{% Dausmann:1987:RPU% }. \NAMECITE{Restrictions}{% Uruena:2007:BHI% }. \NAMECITE{retrospective}{% Ward:1997:RRE% }. \NAMECITE{Reusable}{% Alonso:1992:RRE,% Gallina:2015:DRP,% Toole:1990:RAC,% Elliott:1987:MAA,% Gargaro:1995:TRS,% Gautier:1987:GUA,% Hill:1988:FSV,% Losavio:1993:ARR% }. \NAMECITE{Reuse}{% Ramachandran:2005:ARG,% Yu:1998:UOT,% Ramachandran:2006:GIA% }. \NAMECITE{Review}{% Anonymous:1996:BR,% Rogers:2001:BRR,% Dowling:1988:SPI,% Vardanega:2009:BRA% }. \NAMECITE{Revision}{% Anonymous:2010:WLC,% Anonymous:1995:SAL% }. \NAMECITE{rewriting}{% Acosta:1994:ASA% }. \NAMECITE{Risk}{% Pawlak:2015:DMC% }. \NAMECITE{robust}{% Losavio:1993:ARR% }. \NAMECITE{role}{% Davies:1988:RE% }. \NAMECITE{Round}{% Cancila:2014:RT% }. \NAMECITE{{RTFM}}{% Lindgren:2014:RLS% }. \NAMECITE{{RTFM}-lang}{% Lindgren:2014:RLS% }. \NAMECITE{{RTOS}}{% Dobbing:2002:CRS% }. \NAMECITE{Rules}{% Rosen:2008:CIC% }. \NAMECITE{Runtime}{% Miranda:2003:GTG% }. \NAMECITE{Safe}{% Grein:1999:SP,% Mazzini:2015:CPO% }. \NAMECITE{Safety}{% Amey:2004:PES,% Baillon:2010:ERS,% Cancila:2014:FSU,% David:2014:DRT,% Delange:2009:CIO,% Ekman:2014:TQS,% Feiler:2015:ALR,% Gallina:2015:DRP,% Sanden:2002:RTP,% Bennett:1990:NIS,% Liddiard:1994:UCO% }. \NAMECITE{Safety-}{% Amey:2004:PES% }. \NAMECITE{Safety-Critical}{% Baillon:2010:ERS% }. \NAMECITE{Safety-Related}{% Cancila:2014:FSU% }. \NAMECITE{{SAMATE}}{% Black:2007:SES% }. \NAMECITE{Scheme}{% Sachez-Ledesma:2015:TBC% }. \NAMECITE{science}{% Smith:1987:AIC% }. \NAMECITE{Scope}{% Leroy:2004:PDS% }. \NAMECITE{Second}{% Dowling:1988:SPI% }. \NAMECITE{Secure}{% Furgel:2007:SSD,% Bodilsen:1992:DSS,% Munch:1992:DSR% }. \NAMECITE{Security}{% Amey:2004:PES% }. \NAMECITE{Security-Critical}{% Amey:2004:PES% }. \NAMECITE{see}{% Lester:1988:TIAa% }. \NAMECITE{Seeking}{% David:2014:DRT,% Moore:2011:CWS% }. \NAMECITE{Semantic}{% Anonymous:1997:ASIb,% Anonymous:1997:ASId% }. \NAMECITE{Semantics}{% Lindgren:2014:RLS,% Ogren:2002:UAS% }. \NAMECITE{Seminar}{% Anonymous:1996:IAS,% Anonymous:1997:ABS% }. \NAMECITE{Sensors}{% Gordon:1988:IAA% }. \NAMECITE{Sequence}{% Sargsyan:2014:RSB% }. \NAMECITE{server}{% Crowe:1991:SIA,% Rosen:2004:DWS% }. \NAMECITE{Servers}{% Burns:2008:PET% }. \NAMECITE{Session}{% Brosgol:2008:SAO,% Burns:2008:SIE,% Burns:2010:MSS,% Burns:2013:SSLa,% Burns:2013:SSLb,% Burns:2016:SSC,% Gonzalez-Harbour:2008:SPP,% Pinho:2013:SSP,% Pinho:2016:SSF,% Real:2008:SBA,% Real:2008:SRA,% Real:2013:SSM,% Real:2013:SSO,% Vardanega:2007:SLI,% Vardanega:2010:SSL,% Vardanega:2013:SSI,% Wellings:2013:SSM,% Wellings:2016:SSL,% delaPuente:2008:SCP,% delaPuente:2013:SSC% }. \NAMECITE{set}{% Heerfordt:1987:SAP% }. \NAMECITE{sharing}{% Moore:2011:CWS% }. \NAMECITE{shelf}{% Liddiard:1994:UCO% }. \NAMECITE{should}{% Briggs:1996:DSP% }. \NAMECITE{Shrinks}{% Harbaugh:2009:PBR% }. \NAMECITE{{SIERRADA}}{% Arnaudo:1987:SAP% }. \NAMECITE{Signaling}{% Cohen:2014:MCR% }. \NAMECITE{Simulating}{% Burgio:2015:SNG,% Burgio:2016:SNG% }. \NAMECITE{simulation}{% Sherif:1992:ASL% }. \NAMECITE{simulator}{% Hosseinzaman:1994:AVN,% Reyes:2012:AWD,% Woodford:1995:CQS% }. \NAMECITE{Situational}{% Feiler:2015:ALR% }. \NAMECITE{Situations}{% Anonymous:1998:SV% }. \NAMECITE{Sketch}{% Lovelace:2015:NTS% }. \NAMECITE{{SMP}}{% Wellings:2008:BAA% }. \NAMECITE{soccer}{% Reyes:2012:AWD% }. \NAMECITE{Software}{% Anonymous:1995:SRM,% Bamberger:1995:SPP,% Bennett:1994:SDC,% Bridges:2011:ISP,% Dordowsky:2012:CCG,% Ferrero:2012:IHS,% Jennings:2012:BUS,% Kamei:2012:TSV,% Kleidermacher:2006:DRS,% Law:2015:EWC,% Mahieux:2006:UCB,% Martignano:2015:SCA,% McCormick:2008:ASE,% Real:2008:SRA,% Rodriguez:2014:CSF,% Rogers:2009:SFT,% Sanden:2012:ELM,% Sargsyan:2014:RSB,% Schonberg:2008:PAS,% Taft:2004:FSB,% Thombs:2001:MIM,% Tokar:2009:AEW,% Vardanega:2009:BRA,% Wearing:1991:SDM,% delaPuente:2014:ESB,% Bartholomew-Biggs:1991:NAO,% Bennett:1990:NIS,% Bishop:1987:APC,% Briggs:1996:DSP,% Bundgaard:2012:RSP,% Burns:1994:DSS,% Culwin:1996:BLS,% Dittrich:1988:DDS,% Furgel:2007:SSD,% Gargaro:1995:TRS,% Gautier:1987:GUA,% Hennell:1994:DVS,% Hill:1988:FSV,% Hill:1991:CPLa,% Hill:1991:CPLb,% Liddiard:1994:UCO,% Longhurst:1994:CCS,% Mearns:1987:SFD,% Rosen:2005:BIS,% Simpson:1997:ASE,% Vicary:1995:ULS,% Burns:2010:ASVa,% Burns:2010:ASVb,% McDermid:1988:STR% }. \NAMECITE{software-download}{% Furgel:2007:SSD% }. \NAMECITE{solution}{% Bodilsen:1992:DSS% }. \NAMECITE{Solve}{% Taft:2004:FSB% }. \NAMECITE{Some}{% Barnes:2002:SII,% Kermarrec:1988:SEA,% Feldman:1993:WUA% }. \NAMECITE{{SonarQube}}{% Martignano:2015:SCA% }. \NAMECITE{Source}{% Martignano:2015:SCA,% Mazzini:2015:CPO% }. \NAMECITE{Sources}{% Anonymous:1995:ASI,% Anonymous:1996:ASIa,% Anonymous:1996:ASIb,% Anonymous:1997:ASIa,% Anonymous:1997:ASIc,% Anonymous:1998:ASIa,% Anonymous:1998:ASIb,% Anonymous:1995:AIS% }. \NAMECITE{Spacecraft}{% delaPuente:2014:ESB% }. \NAMECITE{{SPARK}}{% Baird:2015:SRS,% Barnes:2001:SWC,% Barnes:2010:SWC,% Burns:2010:ASVb,% Dross:2014:SRF,% Efstathopoulos:2014:SRD,% Jennings:2012:BUS,% Jennings:2012:UPG,% Moy:2013:SR,% Moy:2015:SRG,% Sargsyan:2014:RSB% }. \NAMECITE{{SPATS}}{% Chapman:1995:SNT% }. \NAMECITE{Specification}{% Pitty:1987:LHS,% Taft:2011:DPP,% Hill:1988:FSV,% Anonymous:1997:ASIb,% Anonymous:1997:ASId% }. \NAMECITE{specifications}{% Acosta:1994:ASA,% Cameron:1987:MJN,% Lawton:1988:TJS,% Losavio:1993:ARR,% Manas:1992:ARL,% Priestley:1993:ISA% }. \NAMECITE{Splitting}{% Crowe:1991:SIA% }. \NAMECITE{sponsoring}{% Rosen:2005:BIS% }. \NAMECITE{Sponsors}{% Anonymous:1997:AUS,% Anonymous:1998:AUSa,% Anonymous:1998:AUSb,% Anonymous:2001:AUSa,% Anonymous:2001:AUSb,% Anonymous:2001:AUSc,% Anonymous:2001:AUSd,% Anonymous:2002:AESa,% Anonymous:2002:AESb,% Anonymous:2002:AUSa,% Anonymous:2002:AUSb,% Anonymous:2003:AESa,% Anonymous:2003:AESb,% Anonymous:2003:AESc,% Anonymous:2004:AESa,% Anonymous:2004:AESb,% Anonymous:2004:AESc,% Anonymous:2004:AESd,% Anonymous:2005:AESa,% Anonymous:2005:AESb,% Anonymous:2005:AESc,% Anonymous:2005:AESd,% Anonymous:2006:AESa,% Anonymous:2006:AESb,% Anonymous:2006:AESc,% Anonymous:2006:AESd,% Anonymous:2007:AESa,% Anonymous:2007:AESb,% Anonymous:2010:AESa,% Anonymous:2010:AESb,% Anonymous:2011:AESa,% Anonymous:2011:AESb,% Anonymous:2011:AESd,% Anonymous:2012:AESb,% Anonymous:2012:AESc,% Anonymous:2013:AESa,% Anonymous:2013:AESb,% Anonymous:2013:AESc,% Anonymous:2014:AES,% Anonymous:2014:AESa,% Anonymous:2014:AESb,% Anonymous:2014:AESc,% Anonymous:2015:AESa,% Anonymous:2015:AESb,% Anonymous:2015:AESc,% Anonymous:2015:AESd,% Anonymous:2016:AES,% Anonymous:1996:MS,% Anonymous:2011:AESc,% Anonymous:2012:AESa% }. \NAMECITE{{Springer}}{% Anonymous:2014:PRA% }. \NAMECITE{Stack}{% Kamei:2012:TSV% }. \NAMECITE{{STAMP}}{% Pierce:1995:STS% }. \NAMECITE{Standard}{% Anonymous:2012:PRA,% Anonymous:2013:ALS,% Anonymous:2016:PRA,% Bennett:1990:NIS,% Boldyreff:1987:ITS,% DeVroey:1996:MFE,% Mearns:1987:SFD,% Anonymous:1995:SAL,% Anonymous:2014:PRA% }. \NAMECITE{Standardization}{% Moore:2004:UAS,% Anonymous:1995:SAL% }. \NAMECITE{Standardizing}{% Moore:2004:SNV% }. \NAMECITE{Standards}{% Brosgol:2008:SAO,% Gallina:2015:DRP,% Rosen:2013:DCC,% Lyons:1987:TOP% }. \NAMECITE{Static}{% Black:2007:SES,% Kleidermacher:2008:PAS,% Lindgren:2014:RLS,% Taft:2004:FSB% }. \NAMECITE{Status}{% Moore:2009:DSM,% Anderson:1990:APS% }. \NAMECITE{stealing}{% Moore:2011:CWS% }. \NAMECITE{step}{% Keenan:1987:RDF% }. \NAMECITE{stimulus}{% Dausmann:1987:RPU% }. \NAMECITE{stimulus-response-nets}{% Dausmann:1987:RPU% }. \NAMECITE{story}{% Sandberg:2005:LTS% }. \NAMECITE{strategies}{% Moore:2011:CWS% }. \NAMECITE{Strategy}{% MenendezdeLlanoRozas:1996:ADS,% Varaprasad:2006:NSP% }. \NAMECITE{Stream}{% Ward:2008:SSB% }. \NAMECITE{Strengths}{% Sanden:2012:ELM% }. \NAMECITE{Structure}{% Barnes:2005:RAS,% Barnes:2012:RAS% }. \NAMECITE{Structured}{% Attwood:2014:UCV,% Priestley:1993:ISA% }. \NAMECITE{Structures}{% Thornley:2011:IHI% }. \NAMECITE{Student}{% Anonymous:2010:ASP,% Anonymous:2010:SPC,% Anonymous:2011:SPC,% Brandon:2008:UAS% }. \NAMECITE{Study}{% Cancila:2014:FSU,% Cohen:2014:MCR,% Quadri:2015:MMC,% Foulkes:1988:DCC,% Locke:1990:PRA,% Smart:1994:IBA,% Toole:1990:RAC% }. \NAMECITE{Submitted}{% Anonymous:2012:PRA% }. \NAMECITE{Subsetting}{% Vardanega:2009:ALS% }. \NAMECITE{Suggestions}{% Ward:2008:SSB% }. \NAMECITE{Suitability}{% Dobbing:2002:CRS% }. \NAMECITE{Summary}{% Burns:2010:MSS,% Burns:2013:SSLa,% Burns:2013:SSLb,% Burns:2016:SSC,% Pinho:2013:SSP,% Pinho:2016:SSF,% Real:2013:SSM,% Real:2013:SSO,% Vardanega:2010:SSL,% Vardanega:2013:SSI,% Wellings:2013:SSM,% Wellings:2016:SSL,% delaPuente:2013:SSC,% Bennett:1994:SDC% }. \NAMECITE{Support}{% Alonso:2014:TMC,% Baird:2015:SRS,% Kamei:2012:TSV,% Rivas:2008:OSS,% Rivas:2013:AAS,% Kugler:1987:UUI,% Lyons:1987:RDT,% Lyons:1987:TOP,% Oliphint:1994:TSA,% Pierce:1995:STS% }. \NAMECITE{supporting}{% Heerfordt:1987:SAP% }. \NAMECITE{Surprising}{% Lester:1987:TIAc% }. \NAMECITE{Survey}{% Gilchrist:2001:CAL,% Glynn:1993:SUA% }. \NAMECITE{Survivability}{% Feiler:2015:ALR% }. \NAMECITE{{Swiss}}{% Paterson:1995:SPA% }. \NAMECITE{Switched}{% Cros:2014:MCS% }. \NAMECITE{Symposium}{% RinoNesin:2015:ALS% }. \NAMECITE{Syntax}{% Ogren:2002:UAS,% Lester:1988:TIAb% }. \NAMECITE{System}{% Anonymous:2014:PWC,% Anonymous:2015:PWC,% Ausden:2008:ACI,% Bernat:2007:IOW,% Bridges:2011:ISP,% David:2014:DRT,% Feiler:2015:ALR,% Gilchrist:2001:CAL,% Kamei:2012:TSV,% MenendezdeLlanoRozas:1996:ADS,% Pawlak:2015:DMC,% Rivas:2008:OSS,% Rodriguez:2014:CSF,% Stadlmann:2005:ADB,% Bigelow:2013:UGE,% Boldyreff:1987:ITS,% Dittrich:1988:DDS,% Foulkes:1988:DCC,% Higgon:1994:DAR,% Hosseinzaman:1994:AVN,% Marshall:1987:IUM,% Sandberg:2005:LTS,% Woodford:1995:CQS,% Brosgol:1987:DAB% }. \NAMECITE{Systems}{% Alonso:2014:TMC,% Anonymous:2014:PWM,% Burns:2010:MSS,% Cohen:2014:MCR,% Cousins:2008:PNC,% Davis:2009:ETA,% Davis:2014:PPA,% Dobbing:2002:CRS,% Ekman:2014:TQS,% Humphris:2001:IAD,% Jan:2014:HCM,% Kersten:2002:CUD,% Kleidermacher:2008:PAS,% Lindgren:2014:RLS,% Mazzini:2015:CPO,% Michell:2008:IAO,% Ogren:2002:UAS,% Pinho:2013:SSP,% Plodereder:2013:HUH,% Quadri:2015:MMC,% Rogers:2001:BRR,% Uruena:2007:BHI,% Ward:2008:SSB,% Wellings:2008:BAA,% Acosta:1994:ASA,% Bodilsen:1992:DSS,% Burns:1994:DSS,% Burns:2001:GUA,% Chastek:1995:THC,% Elliott:1987:MAA,% Liddiard:1994:UCO,% Sherif:1992:ASL,% Wearing:1991:SDM,% Wichmann:1988:EAS% }. \NAMECITE{Table}{% Cancila:2014:RT% }. \NAMECITE{Taking}{% Lester:1987:TIAa,% Lester:1987:TIAb,% Lester:1987:TIAc,% Lester:1988:TIAa,% Lester:1988:TIAb% }. \NAMECITE{Task}{% Briggs:1994:TTL,% Pedro:2014:ITT,% Sachez-Ledesma:2015:TBC% }. \NAMECITE{Task-Based}{% Sachez-Ledesma:2015:TBC% }. \NAMECITE{Tasking}{% Barnes:2005:RAT,% Dobbing:2010:RTP,% Nonaka:1999:TDD,% Wellings:2007:IOT,% Baker:1990:OAT,% Burns:1987:ATI,% Elsom:1990:WWT,% Barnes:2012:RAT% }. \NAMECITE{Tasks}{% Sanden:2012:ELM,% Wellings:2008:BAA,% Locke:1990:PRA,% Locke:1992:RPT,% Sanden:1996:UTC% }. \NAMECITE{Technical}{% Lyons:1987:TOP,% Larkham:1994:ATL% }. \NAMECITE{Techniques}{% Yu:1998:UOT% }. \NAMECITE{Technologies}{% Amey:2004:PES% }. \NAMECITE{Technology}{% McDermid:1988:STR,% Varaprasad:2006:NSP,% Vardanega:2012:WLT% }. \NAMECITE{Telecare}{% Pawlak:2015:DMC% }. \NAMECITE{Template}{% Glaister:2007:TDD% }. \NAMECITE{Ten}{% Anonymous:1996:TYT% }. \NAMECITE{test}{% Gilchrist:1992:GPA,% Hennell:1994:DVS,% Pierce:1995:STS% }. \NAMECITE{testability}{% Liddiard:1993:ATW% }. \NAMECITE{Thirty}{% Barnes:2009:TYA% }. \NAMECITE{Thread}{% Rivas:2008:OSS% }. \NAMECITE{threaded}{% Larkham:1994:ATL% }. \NAMECITE{Time}{% Anonymous:2013:OIR,% Anonymous:2016:OIR,% Barnes:2005:RAT,% Barnes:2012:RAT,% Bernat:2007:IOW,% Brosgol:2004:RTJ,% Burns:2003:IRT,% Burns:2008:PET,% Burns:2010:PRI,% Burns:2013:RIR,% David:2014:DRT,% Davis:2009:ETA,% Dobbing:2003:IRT,% Dobbing:2010:RTP,% Gregertsen:2011:IUN,% Jan:2014:HCM,% Law:2015:EWC,% Michell:2010:CIR,% Plodereder:2013:HUH,% Rivas:2008:OSS,% Rivas:2011:IRT,% Rivas:2013:AAS,% Rogers:2001:BRR,% Uruena:2008:INA,% Wellings:1997:EIR,% Wellings:2008:FRT,% delaPuente:2007:IRT,% Alonso:1992:RRE,% Briggs:1994:TTL,% Burns:1992:MME,% Chastek:1995:THC,% Elliott:1987:MAA,% Firesmith:1993:OAD,% Higgon:1994:DAR,% Locke:1990:PRA,% Mearns:1987:SFD,% Munch:1992:DSR,% Sanden:2002:RTP,% Vardanega:2012:WLT,% Wearing:1991:SDM,% Wellings:1990:RRA% }. \NAMECITE{Time-Triggered}{% Jan:2014:HCM% }. \NAMECITE{Timing}{% Davis:2014:PPA,% Kamei:2012:TSV,% Pierce:1995:STS% }. \NAMECITE{{TLDacs}}{% Oliphint:1994:TSA% }. \NAMECITE{Tolerance}{% Rogers:2009:SFT,% Kermarrec:1995:IEF% }. \NAMECITE{tolerant}{% Zweiacker:1997:MCA% }. \NAMECITE{Tool}{% Ekman:2014:TQS,% Kamei:2012:TSV,% Briggs:1994:TTL,% Hennell:1994:DVS,% Lyons:1987:RDT,% Lyons:1987:TOP,% Pierce:1995:STS,% Wichmann:1990:LAV% }. \NAMECITE{Toolkit}{% Betz:1997:EAC% }. \NAMECITE{Tools}{% Black:2007:SES% }. \NAMECITE{Toolset}{% Alonso:2014:TMC,% Chapman:1995:SNT% }. \NAMECITE{Tour}{% Miranda:2003:GTG% }. \NAMECITE{towers}{% Sandberg:2005:LTS% }. \NAMECITE{Traffic}{% Rodriguez:2014:CSF% }. \NAMECITE{Train}{% Stadlmann:2005:ADB% }. \NAMECITE{transfer}{% Burns:1990:ATC% }. \NAMECITE{transformation}{% Lawton:1988:TJS% }. \NAMECITE{Transition}{% Cousins:2002:TLP,% Anderson:1992:APR% }. \NAMECITE{translation}{% Lovelace:2015:NTS% }. \NAMECITE{transport}{% GonzalezBarahona:1997:LLF% }. \NAMECITE{trial}{% Boldyreff:1987:ITS% }. \NAMECITE{trial-use}{% Boldyreff:1987:ITS% }. \NAMECITE{Triggered}{% Jan:2014:HCM% }. \NAMECITE{true}{% Lester:1987:TIAc% }. \NAMECITE{Try}{% Anonymous:2012:ATB,% Anonymous:2012:PRF% }. \NAMECITE{Try-and-Beat-Me}{% Anonymous:2012:ATB% }. \NAMECITE{{Tunnel}}{% Bennett:1994:SDC% }. \NAMECITE{type}{% Hunt:1988:PII,% Losavio:1992:DTB% }. \NAMECITE{Types}{% Barnes:1995:ATA,% Barnes:2005:RAA,% Pedro:2014:ITT,% Gauthier:1992:PTC,% Losavio:1993:ARR% }. \NAMECITE{UK}{% Anonymous:1987:AUI,% Anonymous:1994:AUI,% Anonymous:1995:AUC,% Anonymous:1997:AUA,% Anonymous:2001:AUSa,% Anonymous:2001:AUSb,% Anonymous:2001:AUSc,% Anonymous:2001:AUSd,% Anonymous:2002:AUSa,% Anonymous:2002:AUSb,% Fairlamb:2006:ACU,% Fairlamb:2009:AUC,% Robinson:2013:RAC,% Anonymous:1995:AUA,% Anonymous:1995:AUM,% Anonymous:1997:AUS,% Anonymous:1998:AUSa,% Anonymous:1998:AUSb,% Anonymous:1998:MCA,% Brassington:1987:AAU,% Glynn:1993:SUA,% Marshall:1987:IUM% }. \NAMECITE{{UML}}{% Glaister:2007:TDD,% Kersten:2002:CUD,% Mefteh:2014:FME% }. \NAMECITE{{UNCLE}}{% Kugler:1987:UUI% }. \NAMECITE{Understandable}{% Ogren:2002:UAS% }. \NAMECITE{{UNIBASE}}{% Dittrich:1988:DDS% }. \NAMECITE{uniformity}{% Kenward:1991:AUI% }. \NAMECITE{Units}{% Grein:2014:PUG% }. \NAMECITE{universities}{% Glynn:1993:SUA% }. \NAMECITE{{UNIX}}{% Larkham:1994:ATL% }. \NAMECITE{Update}{% Anonymous:1995:UGR,% Barnes:2016:UA,% Moore:2004:UAS,% Moy:2015:SRG,% Morron:1988:PU% }. \NAMECITE{updating}{% Burhouse:1987:LCA% }. \NAMECITE{Upon}{% Barnes:19xx:YCD% }. \NAMECITE{Usage}{% Gregertsen:2011:IUN,% Kamei:2012:TSV,% Burns:1992:MME% }. \NAMECITE{Use}{% Attwood:2014:UCV,% Barnes:2001:DYU,% Brandon:2008:UAS,% Cancila:2014:FSU,% Jennings:2012:UPG,% Mefteh:2014:FME,% Palm:2012:UMD,% Plodereder:2013:HUH,% Boldyreff:1987:ITS,% Burns:2001:GUA,% Gautier:1987:GUA,% Glynn:1993:SUA,% Heerfordt:1987:SAP,% Keenan:1987:RDF,% Vicary:1995:ULS% }. \NAMECITE{User}{% Anonymous:1996:EPAa,% Anonymous:1996:EPAb,% Anonymous:1997:EPAa,% Anonymous:1997:EPAb,% Anonymous:1998:EPAa,% Anonymous:1998:EPAb,% Anonymous:2001:EPAa,% Anonymous:2001:EPAb,% Anonymous:2001:EPAc,% Anonymous:2001:EPAd,% Anonymous:2002:EPAa,% Anonymous:2002:EPAb,% Anonymous:2002:EPAc,% Anonymous:2002:EPAd,% Anonymous:2003:EPAa,% Anonymous:2003:EPAb,% Anonymous:2003:EPAc,% Anonymous:2003:EPAd,% Anonymous:2004:EPAa,% Anonymous:2004:EPAb,% Anonymous:2004:EPAc,% Anonymous:2005:EPAa,% Anonymous:2005:EPAb,% Anonymous:2005:EPAc,% Anonymous:2005:EPAd,% Anonymous:2006:EPAa,% Anonymous:2006:EPAb,% Anonymous:2006:EPAc,% Anonymous:2006:EPAd,% Anonymous:2007:EPAa,% Anonymous:2007:EPAb,% Anonymous:2007:EPAc,% Anonymous:2007:EPAd,% Anonymous:2008:EPAa,% Anonymous:2008:EPAb,% Anonymous:2008:EPAc,% Anonymous:2008:EPAd,% Anonymous:2009:EPAa,% Anonymous:2009:EPAb,% Anonymous:2009:EPAc,% Anonymous:2009:EPAd,% Anonymous:2010:EPAa,% Anonymous:2010:EPAb,% Anonymous:2010:EPAc,% Anonymous:2010:EPAd,% Anonymous:2011:EPAa,% Anonymous:2011:EPAb,% Anonymous:2011:EPAc,% Anonymous:2011:EPAd,% Anonymous:2012:EPAa,% Anonymous:2012:EPAb,% Anonymous:2012:EPAc,% Anonymous:2012:EPB,% Anonymous:2013:EPBa,% Anonymous:2013:EPBb,% Anonymous:2013:EPBc,% Anonymous:2013:EPBd,% Anonymous:2014:EPAa,% Anonymous:2014:EPAb,% Anonymous:2014:EPAc,% Anonymous:2014:EPAd,% Anonymous:2015:EPAa,% Anonymous:2015:EPAb,% Anonymous:2015:EPAc,% Anonymous:2015:EPAd,% Anonymous:2016:EPA,% Barnes:2009:TYA,% Bradley:2011:AUG,% Rego:2012:AUG,% Rivas:2009:AUG,% Andersen:2011:CUA,% Kim:1987:AUU,% Kugler:1987:UUI% }. \NAMECITE{Using}{% Bigelow:2013:UGE,% Jennings:2012:BUS,% Liddiard:1994:UCO,% Mahieux:2006:UCB,% Moore:2009:DSM,% Ogren:2002:UAS,% Sanden:1996:UTC,% Taft:2004:FSB,% Yu:1998:UOT,% Andersen:2011:CUA,% Burns:1994:DSS,% Dausmann:1987:RPU,% Feldman:1993:WUA,% Gargaro:1995:TRS,% Hill:1988:FSV,% Liddiard:1993:ATW,% Locke:1990:PRA,% Martignano:2015:SCA,% Moore:2011:CWS,% Woodford:1995:CQS,% Zweiacker:1997:MCA% }. \NAMECITE{Utilities}{% Wellings:2008:FRT% }. \NAMECITE{{V}}{% Lester:1988:TIAb% }. \NAMECITE{vacant}{% Anonymous:1998:SV% }. \NAMECITE{Validated}{% Anonymous:1988:VCA,% Anonymous:1988:CLV% }. \NAMECITE{validation}{% Chard:1987:AV,% Wichmann:1990:LAV% }. \NAMECITE{{VDM}}{% Heerfordt:1987:SAP% }. \NAMECITE{Vectors}{% Barnes:2001:DYU% }. \NAMECITE{Vendor}{% Anonymous:1995:VN% }. \NAMECITE{Verifiable}{% Pyle:1995:VAP% }. \NAMECITE{Verification}{% Davis:2009:ETA,% Kamei:2012:TSV,% Hill:1988:FSV% }. \NAMECITE{Version}{% Moore:2004:SNV% }. \NAMECITE{{VI}}{% Lester:1988:TIAa% }. \NAMECITE{Via}{% Barnes:2001:SWC,% Barnes:2010:SWC% }. \NAMECITE{Victorian}{% Charman-Anderson:2015:ALV% }. \NAMECITE{viewpoint}{% Hennell:1994:DVS% }. \NAMECITE{virtual}{% Hosseinzaman:1994:AVN,% McAllister:1995:IAV% }. \NAMECITE{Visibility}{% Barnes:2005:RAS,% Barnes:2012:RAS,% Lester:1988:TIAa% }. \NAMECITE{Visionary}{% Charman-Anderson:2015:ALV% }. \NAMECITE{Vocabularies}{% Attwood:2014:UCV% }. \NAMECITE{Vulnerabilities}{% Burns:2009:CV,% Burns:2010:ASVa,% Burns:2010:ASVb,% Chapman:2009:PCE,% Michell:2009:APL,% Moore:2009:PRI,% Rosen:2009:RPL,% Tokar:2009:AEW% }. \NAMECITE{warts}{% Barnes:1994:RAW% }. \NAMECITE{water}{% Hosseinzaman:1994:AVN% }. \NAMECITE{Way}{% Anonymous:2010:ASP,% Anonymous:2010:SPC,% Anonymous:2011:SPC,% Barnes:2001:SWC,% Barnes:2010:SWC,% Anonymous:2012:PRF,% Reyes:2012:AWD% }. \NAMECITE{Weaving}{% Hawkins:2015:NWM% }. \NAMECITE{{Web}}{% Anonymous:1996:AW,% Briggs:1996:AWW,% Rosen:2004:DWS% }. \NAMECITE{{Wellings}}{% Rogers:2001:BRR% }. \NAMECITE{{WG9}}{% Anonymous:2010:WLC% }. \NAMECITE{Who}{% Feldman:1993:WUA% }. \NAMECITE{Wide}{% Briggs:1996:AWW% }. \NAMECITE{Winners}{% Anonymous:2012:PRF% }. \NAMECITE{{Wirth}}{% Forrester:1988:WMC% }. \NAMECITE{Word}{% Tooby:2010:OWC% }. \NAMECITE{work}{% Burns:2001:GUA,% Moore:2011:CWS% }. \NAMECITE{work-seeking}{% Moore:2011:CWS% }. \NAMECITE{work-sharing}{% Moore:2011:CWS% }. \NAMECITE{work-stealing}{% Moore:2011:CWS% }. \NAMECITE{Workshop}{% Anonymous:1997:WRI,% Anonymous:2013:OIR,% Anonymous:2014:PWC,% Anonymous:2014:PWM,% Anonymous:2015:PWC,% Anonymous:2016:OIR,% Burns:2010:PRI,% Rivas:2011:IRT,% Tokar:2009:AEW,% Wellings:1997:EIR,% delaPuente:2007:IRT,% Burns:2013:RIR,% Dobbing:2003:IRT,% Michell:2010:CIR% }. \NAMECITE{workstation}{% Dipper:1988:GWA% }. \NAMECITE{{World}}{% Briggs:1996:AWW% }. \NAMECITE{Worst}{% Bernat:2007:IOW,% Law:2015:EWC% }. \NAMECITE{Worst-Case}{% Bernat:2007:IOW,% Law:2015:EWC% }. \NAMECITE{Writing}{% Westley:1998:WJA% }. \NAMECITE{wrong}{% Elsom:1990:WWT% }. \NAMECITE{{XRete}}{% Ardouin:1990:XMI% }. \NAMECITE{Years}{% Anonymous:1996:TYT,% Barnes:2009:TYA,% Thombs:2001:MIM% }.