A Complete Bibliography of Publications in the Int

ACompleteBibliographyofPublicationsintheInternationalJournalonSoftwareToolsforTechnologyTransfer(STTT)NelsonH.F.BeebeUniversityofUtahDepartmentofMathematics,110LCB155S1400ERM233SaltLakeCity,UT84112-0090USATel:[phone]FAX:[phone]E-mail:[e-mail],[e-mail],[e-mail](Internet)://~beebe/05July2005Version1.02Titlewordcross-reference∗[62,42].π[149].-[17].-calculus[149].1394[135,18].1394a[79].1998[29].2000[48].abstract[132,131,122].Abstraction[182,123,40].ACL2[48].action[77].address[63].Advancements[152].advances[183].AGATHA[129].agent[163].agent-based[163].aggregation[29].aided[142].ALD´EBARAN[12].algorithm[141,176,142,73].algorithmics[165].algorithms[33,154,108,150].alive[181].allocation[73].Analysing[26,23,24,73].Analysis[33,141,15,172,91,126,16,164,31,114,74,14,70,133].analyzer[17].Analyzing[22].animate[156].Application[63,61,95,52].Application-controlled[63].applications[188,41,57].applied[189].applying[142].approach[189,161,163,155,129,128].architecture[68,162,22].architectures[26].arithmetic[56,50].aspects[119].aSPIN[132].assembly[148].assisted[141].12Assumption[175].Assumption-based[175].attitudes[99].automata[172,124,85,151].Automated[124,121].Automatic[135,27,91,129,169].automation[49].automaton[34].B[156].Bandera[84].based[175,179,16,164,163,65,147,107,11,75,145,183,130].BDD[60,151].BDD-like[151].BDDs[61,181,57].be[42].Behavior[15,147].Behavior-based[147].Benchmarking[38].Binary[55,56].Bisimulation[66,176].BMC[179,178].BMC-based[179].BMC’03[177].Boolean[123,61,120].bounded[184].B¨uchi[85].building[80,171].bus[18].C[123,190].calculus[149].CARA[141,145,140,144,143].card[130].Cartesian[123].case[118,114,69,142,130].CC[68].CC-NUMA[68].Certification[148].chains[92].challenges[184].channel[73].charts[125].checkable[84].checker[46,8].checking[32,123,174,117,171,175,170,158,184,30,65,118,31,165,137,167,88,132,68,166,43,82,92,39,168,96,155,182,41,131,36,133,86,42,120,149].chemical[160].CHEOPS[160].circuits[56,50].class[69].clock[7].CLPS[156].CLPS-B[156].co[68].co-simulation[68].coarse[128].coarse-grained[128].code[148,27].colored[25,22].coloured[26,23,21,75,24].combinational[61].communication[15,137].compact[138].Comparison[97,185].compilation[27].compiled[148].complement[136].Compositional[125].compositionality[76].Computational[184,180].computer[141,142].computer-aided[142].computer-assisted[141].computing[73].concepts[6,3].concurrency[78].concurrent[72,168,169].conflict[108].conformance[44].Constraint[65,156].Constraint-based[65].construction[147].contention[135,79].Continuous[6].Control[141,40,83].controlled[63].controller[70].conversion[48].coordination[128].cornerstones[40].correctness[102].Counter[131,122].Counter-example[131].counter-examples[122].Covering[138].Creating[25].critical[186,187,191].CTL[175,88,42].CVT[27].data[138,40,151,121].dataflow[164].debugging[105].decision[55,182,58].deductive[65].description[101].descriptions[77].Design[60,106,68,113,95,11,70,36,3].designs[109].Detecting[53].detection[96,108].determinization[178].developer[19].Development[134,187,113].devices[142].diagrams[56,55,58,120].Directed[137,167].discrete[7].Distributed[172,192,174,117,176,171,170,11,73,86,150].distributing[109].distribution[175].divider[104].document[145].dynamic[158,84,168,73].E-LOTOS[18].Easy[78].Editor[20,64,90,71,152,100].Editorial[1].editors[111,146].education[29].educational[72].Efficient[93,105,157,133,58,151,17].Electronic[3].embedded[114].encoding[149].engineering[104,140,81].environment[77,63,105].equations[32].ERLANG[112,134].error[153].ETI[4,5].evaluation[60].example[131].3examples[122].Executable[74,25].execution[114,150,22].execution-time[114].experience[113,144].experiment[18].experimentation[54].experiments[60].explicit[118,137].explicit-state[118,137].Exploiting[169].Exploring[154].Expressing[84].Expression[120].extended[42].extensions[152].Fate[153].fault[191].feasible[122].Feyerabend[13].Fighting[118].Finding[122].finite[38,169,133].finite-state[38,169].FireWire[18].FISh[37].floating[136,104].floating-point[104].Florida[29].fly[117,178,44].Formal[141,191,70,140,108,186,51,187,105,68,142,29,104,40,107,103,61,183,2].Formalization[45].Formally[143].formula[85].formulation[179].framework[102,109,67].free[153].Fujaba[161].Functional[185].games[180].gear[70].General[45].Generating[77,115].generation[91,158,68,129,124,131].generator[17].genetic[154].GIOP[45].GNU[118].good[81].grained[128].graph[59].Guest[152].guide[21].Handel[190].Handel-C[190].hardware[179,95,67,101,36].Haskell[185].Heerhugowaard[88].held[29].heterogeneous[107,121].Heuristics[166,60].Hierarchical[103].High[49,73].High-automation[49].high-level[73].Higher[101].Higher-level[101].Highlights[177].HiPE[113].Hoorn[88].Hoorn-Kersenboogerd[88].hybrid[8,103,155,6].HYTECH[8].i-protocol[118].IEEE[135,18,79].IEEE-1394[18].Implementing[76].improve[91].improvement[167].incrementalization[95].induction[50].industrial[186,51,52].influence[25].informal[187].information[28].infrastructure[80].Infu