%
% internal papers
%
@string{ TNF    = {Technisch Naturwissenschaftliche Fakult\"{a}t, Technische Universit\"{a}t Wien}}
@string{ E182   = {Institut f\"{u}r Technische Informatik, Technische Universit\"{a}t Wien}}
@string{ MARS   = "Research Report"}

%
% ACM papers
%
@string{ SIGOPS = "ACM SIGOPS Operating Systems Review"}

%
% IEEE papers
%
@string{ MICRO  = "IEEE Micro"}
@string{ TOC    = "IEEE Transactions on Computers"}

%
% Kluwer papers
%
@string{ RTS    = "Real-Time Systems"}

%
% Springer journals
%
@string{ LNCS  = "Lecture Notes in Computer Science"}

%
% FTCS papers
%
@string{ FTCS82 = "Proc. 12th Int. Symposium on Fault-Tolerant Computing"}
@string{ FTCS85 = "Proc. 15th Int. Symposium on Fault-Tolerant Computing"}
@string{ FTCS86 = "Proc. 16th Int. Symposium on Fault-Tolerant Computing"}
@string{ FTCS88 = "Proc. 18th Int. Symposium on Fault-Tolerant Computing"}
@string{ FTCS90 = "Proc. 20th Int. Symposium on Fault-Tolerant Computing"}

% 
% RDSDS - Reliability in Distributed Software and Database Systems
%
@string{ RDSDS86 = "Proc. Fifth Symposium on Reliability in Distr. Software and Database Systems"}
@string{ RDS90 = "Proc. Ninth Symposium on Reliable Distributed Systems"}
@string{ RDS91 = "Proc. Tenth Symposium on Reliable Distributed Systems"}

%
% SAFECOMP papers
%
@string{SAFECOMP85 = "IFAC Proceedings SAFECOMP 85"}
@string{SAFECOMP86 = "IFAC Proceedings SAFECOMP 86"}
@string{SAFECOMP89 = "IFAC Proceedings SAFECOMP 89"}

%
% UNIX Groups
%
@string{EUUG = "European UNIX Systems User Group"}
@string{EUUGProc = "EUUG Conference Proceedings"}
@string{FORUM4 = "OCG/UUGA UNIX Forum IV"}

%
% misc papers
%
@string{OCG = {\"{O}sterreichische Computer Gesellschaft}}
@string{ GI     = {Gesellschaft f\"{u}r Informatik}}
@string{ GI_FTCS89 = {Proc. 4th International Conference on Fault-tolerant Computing Systems}}
@string{ SEJ    = {IEE Software Engineering Journal}}
@string{MEO90 = "Proc. of 3rd Conf. on Modelling, Evaluation and
                 Optimization of Dependable Computer Systems"}
@string{ DCCS91 = {10th IFAC Workshop on Distributed Computer Control Systems}}

@inproceedings{Kopetz:OEH86,
	author =	{H. Kopetz and W. Ochsenreiter},
	title =		{Uhrensynchronisations-Chip in Standardzellen
			Verfahren},
	booktitle =	{\"{O}sterreichische Hochschulzeitung},
	year =		{1986},
	month =		{Juli},
	pages =		{21-22}
}

@article{Kopetz:EUNDM86,
        author =        {H. Kopetz and M. Mulazzani},
        title =         {Zuverl\"{a}ssigkeit und {S}icherheit von
                         mikro\-elektronischen {S}ystemen},
        journal =       {E und M (Elektrotechnik und Maschinenbau)},
        year =          {1986},
        month =         {June},
        volume =        {103},
        number =        {6},
        pages =         {284-290}
}

@inproceedings{Kopetz:GI88,
        author =        {H. Kopetz and A. Damm and Ch. Koza and M. Mulazzani
                         and W. Schwabl and Ch. Senft and R. Zainlinger},
        title =         {Entwurf und {B}ewertung fehlertoleranter
                         {E}chtzeitsysteme am {B}eispiel {MARS}},
        booktitle =     {Proceedings of 18. GI-Tagung},
        year =          {1988},
        month =         {Oct.},
        organization =  GI,
        publisher =     {Springer Verlag},
        address =       {Hamburg, BRD},
        pages =         {379-398, Band II}
}

@inproceedings{Kopetz:GI88b,
        author =        {H. Kopetz},
        title =         {Fehlermodelle in verteilten Echtzeitsystemen},
        booktitle =     {Proceedings of 18. GI-Tagung},
        year =          {1988},
        month =         {Oct.},
        organization =  GI,
        publisher =     {Springer Verlag},
        address =       {Hamburg, BRD},
        pages =         {56-69, Band I}
}

@article{Kopetz:IT88,
        author =        {H. Kopetz and A. Damm and Ch. Koza and M. Mulazzani
                         and W. Schwabl and Ch. Senft and R. Zainlinger},
        title =         {{MARS}: {E}in fehlertolerantes, verteiltes
                         {E}chtzeitsystem},
        journal =       {Informationstechnik (it)},
        year =          {1988},
        month =         {June},
        volume =        {30},
        number =        {3},
        pages =         {197-208},
        publisher =     {Oldenbourg-Verlag}
}

@inproceedings{Kopetz:BAI89,
        author =        {H. Kopetz and G. Gr\"{u}nsteidl and J. Reisinger},
	title =		{Ein fehlertolerantes Membership Service in
			einem synchronen verteilten Echtzeitsystem},
	booktitle =	{Berichte aus Informatikforschungsinstitutionen},
	year =		{1989},
	organization =	OCG,
	address =	{Klagenfurt},
	month =		{Oct.}
}

@phdthesis{Koza:PHD89,
        author =        {Ch. Koza},
        title =         {Garantiertes Zeitverhalten in verteilten Echtzeitsystemen},
        school =        TNF,
        year =          {1989},
        month =         {Apr.},
        address =       {Vienna, Austria}
}

@inproceedings{Puschner:BAI89,
        author =        {P. Puschner and Ch. Koza},
	title =		{Ermittlung der maximalen Abarbeitungszeit von 
			 Echtzeitprogrammen},
	booktitle =	{Berichte aus Informatikforschungsinstitutionen},
	year =		{1989},
	organization =	OCG,
	address =	{Klagenfurt},
	month =		{Oct.}
}

@phdthesis{Senft:PHD88,
        author =        {Ch. Senft},
        title =         {Realzeit im {E}ntwurf verteilter {P}roze{\ss}rechnersoftware},
        school =        TNF,
        year =          {1988},
        month =         {Oct.},
        address =       {Vienna, Austria}
}

@phdthesis{Schwabl:PHD88,
        author =        {W. Schwabl},
        title =         {Der {E}influ{\ss} zuf\"{a}lliger und systematischer
                         {F}ehler auf die {U}hrensynchronisation in
                         verteilten {E}chtzeitsystemen},
        school =        TNF,
        year =          {1988},
        month =         {Oct.},
        address =       {Vienna, Austria}
}

@inproceedings{Zainlinger:FORUM88,
	author = {R. Zainlinger and C. Senft},
	title  = {Eine integrierte graphische Entwurfsumgebung 
			  f\"{u}r Echtzeitsysteme},
	booktitle =     FORUM4,
	year =          {1988},
	month =         {Oct.},
	pages = 	{197-211},
	organization =  OCG,
	address =       {Vienna, Austria}
}