%%====================================================================== %% 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 Thu Jan 11 17:39:25 MST 2018 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{Automata}{% Strehl:1998:UID% }. \NAMECITE{calculation}{% Strehl:1993:FEP% }. \NAMECITE{{CASE}}{% Strehl:1996:DIC% }. \NAMECITE{Checking}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1999:IDT% }. \NAMECITE{Controlled}{% Thiele:1998:SSM% }. \NAMECITE{Cosimulation}{% Strehl:1996:DIC,% Strehl:1997:DIP% }. \NAMECITE{Coupling}{% Strehl:1996:DIC% }. \NAMECITE{Design}{% Strehl:1996:DIC,% Strehl:1997:DIP% }. \NAMECITE{Diagram}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1998:UID,% Strehl:1999:IDT% }. \NAMECITE{Diagrams}{% Thiele:1998:SSM% }. \NAMECITE{Environment}{% Strehl:1996:DIC,% Strehl:1997:DIP% }. \NAMECITE{Fields}{% Strehl:1993:FEP% }. \NAMECITE{Flow}{% Thiele:1998:SSM% }. \NAMECITE{Hardware}{% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{Hardware/\penalty0{}Software}{% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{Implementation}{% Strehl:1996:DIC,% Strehl:1997:DIP% }. \NAMECITE{Interval}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1998:UID,% Strehl:1999:IDT% }. \NAMECITE{Kernel}{% Strehl:1997:DIP% }. \NAMECITE{Machine}{% Thiele:1998:SSM% }. \NAMECITE{Model}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1999:IDT% }. \NAMECITE{nets}{% Strehl:1999:IDT% }. \NAMECITE{Networks}{% Strehl:1998:SMCb% }. \NAMECITE{Optimistic}{% Strehl:1997:DIP% }. \NAMECITE{particle}{% Strehl:1993:FEP% }. \NAMECITE{\penalty0{}Software}{% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{{Petri}}{% Strehl:1999:IDT% }. \NAMECITE{Predictive}{% Strehl:1997:DIP% }. \NAMECITE{Process}{% Strehl:1998:SMCb% }. \NAMECITE{program}{% Strehl:1993:FEP% }. \NAMECITE{{SCF}}{% Thiele:1998:SSM% }. \NAMECITE{Scheduling}{% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{{SimBa}}{% Strehl:1996:DIC,% Strehl:1997:DIP% }. \NAMECITE{simulation}{% Strehl:1993:FEP% }. \NAMECITE{State}{% Thiele:1998:SSM% }. \NAMECITE{{Statemate}}{% Strehl:1996:DIC% }. \NAMECITE{Symbolic}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1998:UID,% Strehl:1999:IDT,% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{Synchronization}{% Strehl:1997:DIP% }. \NAMECITE{Systems}{% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{Techniques}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1998:UID,% Strehl:1999:IDT,% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{Timed}{% Strehl:1998:UID% }. \NAMECITE{Tool}{% Strehl:1996:DIC% }. \NAMECITE{{{trajectories}}}{% Strehl:1993:FEP% }. \NAMECITE{Using}{% Strehl:1998:SMCa,% Strehl:1998:SMCb,% Strehl:1998:UID,% Strehl:1999:SHSa,% Strehl:1999:SHSb% }. \NAMECITE{Verification}{% Strehl:1998:UID% }.