1622 lines
54 KiB
BibTeX
1622 lines
54 KiB
BibTeX
@article{Rodgers2013,
|
||
title = "A survey of Euler diagrams ",
|
||
journal = "Journal of Visual Languages and Computing ",
|
||
volume = "",
|
||
number = "0",
|
||
pages = " - ",
|
||
year = "2013",
|
||
note = "",
|
||
issn = "1045-926X",
|
||
doi = "http://dx.doi.org/10.1016/j.jvlc.2013.08.006",
|
||
url = "http://www.sciencedirect.com/science/article/pii/S1045926X13000499",
|
||
author = "Peter Rodgers",
|
||
keywords = "Euler diagrams; closed curves; venn; euler "
|
||
}
|
||
|
||
|
||
@INPROCEEDINGS{probfmea_4338247,
|
||
author={Grunske, Lars and Colvin, R. and Winter, K.},
|
||
booktitle={Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the}, title={Probabilistic Model-Checking Support for FMEA},
|
||
year={Sept.},
|
||
pages={119-128},
|
||
keywords={fault diagnosis;formal verification;probability;system monitoring;effect analysis;failure mode;probabilistic fault injection;probabilistic model checking;Accidents;Australia;Cause effect analysis;Failure analysis;Hazards;Information analysis;Information technology;Probability;Risk analysis;Safety;Failure Mode;Probabilistic Model Checking;System Safety;and Effect Analysis},
|
||
doi={10.1109/QEST.2007.18},}
|
||
|
||
|
||
@article{parnas1991assessment,
|
||
title={Assessment of safety-critical software in nuclear power plants.},
|
||
author={Parnas, David Lorge and Asmis, GJK and Madey, Jan},
|
||
journal={Nuclear safety},
|
||
volume={32},
|
||
number={2},
|
||
pages={189--198},
|
||
year={1991}
|
||
}
|
||
|
||
@incollection{bishopsmartinstruments,
|
||
year={2010},
|
||
isbn={978-3-642-15650-2},
|
||
booktitle={Computer Safety, Reliability, and Security},
|
||
volume={6351},
|
||
series={Lecture Notes in Computer Science},
|
||
editor={Schoitsch, Erwin},
|
||
doi={10.1007/978-3-642-15651-9_18},
|
||
title={Testing Smart Devices: A Case Study},
|
||
url={http://dx.doi.org/10.1007/978-3-642-15651-9_18},
|
||
publisher={Springer Berlin Heidelberg},
|
||
keywords={testing; non-determinism; smart instruments; safety},
|
||
author={Bishop, Peter and Cyra, Lukasz},
|
||
pages={237-250}
|
||
}
|
||
|
||
|
||
Bishop P, Cyra L,
|
||
Overcoming Non-determinism in Testing Smart Devices: ,
|
||
ESREL 2012, ref: 2-Fr3-2, 25-29 June, 2012, Helsinki
|
||
@incollection{bishopsmartinstruments2,
|
||
year={2012},
|
||
title={Computer Safety, Reliability, and Security},
|
||
volume={6351},
|
||
series={ESREL 2012 Helsinki},
|
||
title={Overcoming Non-determinism in Testing Smart Devices: How to Build Models of Device Behaviour},
|
||
keywords={testing; non-determinism; smart instruments; safety},
|
||
author={Bishop, Peter and Cyra, Lukasz},
|
||
pages={237-250}
|
||
}
|
||
|
||
@incollection{swassessment,
|
||
year={2010},
|
||
isbn={978-1-84996-085-4},
|
||
booktitle={Making Systems Safer},
|
||
editor={Dale, Chris and Anderson, Tom},
|
||
doi={10.1007/978-1-84996-086-1_4},
|
||
title={Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective},
|
||
url={http://dx.doi.org/10.1007/978-1-84996-086-1_4},
|
||
publisher={Springer London},
|
||
author={Bloomfield, Robin and Bishop, Peter},
|
||
pages={51-67},
|
||
language={English}
|
||
}
|
||
|
||
@INPROCEEDINGS{smart_instruments_1514209,
|
||
author={Nobes, T.S.},
|
||
booktitle={Is Your Product Safe? - IEE Seminar on (Ref. No. 2004/10724)}, title={Functional safety of smart instruments - a user perspective},
|
||
year={Sept.},
|
||
pages={67-87},
|
||
keywords={digital instrumentation;firmware;microprocessor chips;safety systems;smart cards;firmware;functional safety;microprocessors;nuclear industry;process instruments;safety instrumented systems;smart instruments},
|
||
doi={10.1049/ic:20040542},
|
||
ISSN={0537-9989},}
|
||
|
||
@INPROCEEDINGS{bayesfrequentist,
|
||
author={Lyons, Loius.},
|
||
booktitle={Contemporary Physics: Bayes and Frequentism, A paticle physicists perspective},
|
||
year={2013},
|
||
month={Feb},
|
||
volume={2},
|
||
number={},
|
||
pages={},
|
||
keywords={Costs;Equations;Instruments;Linear systems;Mathematical model;Nonlinear systems;Observability;Process control;Sensor phenomena and characterization;Sensor systems;bilinear systems;linear systems;observability;sensors;state estimation;bilinear equations;bilinear system;linear equations;linear systems;observability;sensor positioning;state estimation;},
|
||
doi={},
|
||
ISSN={},}
|
||
|
||
|
||
@INPROCEEDINGS{721666,
|
||
author={Heraud, N. and Hassan Mazzour, E. and Alberti, C.},
|
||
booktitle={Control Applications, 1998. Proceedings of the 1998 IEEE International Conference on}, title={Observability and sensor positioning for processes described by linear-bilinear equations},
|
||
year={1998},
|
||
month={sep},
|
||
volume={2},
|
||
number={},
|
||
pages={1276 -1280 vol.2},
|
||
keywords={Costs;Equations;Instruments;Linear systems;Mathematical model;Nonlinear systems;Observability;Process control;Sensor phenomena and characterization;Sensor systems;bilinear systems;linear systems;observability;sensors;state estimation;bilinear equations;bilinear system;linear equations;linear systems;observability;sensor positioning;state estimation;},
|
||
doi={10.1109/CCA.1998.721666},
|
||
ISSN={},}
|
||
|
||
@article{rudov2009language,
|
||
title={The language of FMEA: on the effective use and reuse of FMEA data},
|
||
author={Rudov-Clark, SD and Stecki, J},
|
||
journal={submitted to HUMS2009, Melbourne},
|
||
pages={10--12},
|
||
year={2009}
|
||
}
|
||
|
||
@article{profibus,
|
||
author="Profibus Inc",
|
||
title=" PROFIBUS and PROFINET International (PI) http://www.profibus.com/",
|
||
year = {2013}
|
||
}
|
||
|
||
|
||
@TechReport{modbus,
|
||
author = {MODBUS.ORG},
|
||
title = {MODBUS over serial line: Specification and implementation guide V1.0},
|
||
institution = {MODBUS.ORG},
|
||
year = {2002},
|
||
key = {},
|
||
OPTtype = {},
|
||
OPTnumber = {},
|
||
OPTaddress = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
issn = {V1.0},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
|
||
|
||
@INPROCEEDINGS{5488118,
|
||
author={Pace, C. and Libertino, S. and Crupi, I. and Marino, A. and Lombardo, S. and Sala, E.D. and Capuano, G. and Lisiansky, M. and Roizin, Y.},
|
||
booktitle={Instrumentation and Measurement Technology Conference (I2MTC), 2010 IEEE}, title={Compact instrumentation for radiation tolerance test of flash memories in space environment},
|
||
year={2010},
|
||
month={may},
|
||
volume={},
|
||
number={},
|
||
pages={652 -655},
|
||
keywords={FPGA-based design;compact instrumentation;failure data screening;flash memories;latch-up protection;nonvolatile memory arrays;radiation tolerance test;space environment;flash memories;radiation hardening (electronics);random-access storage;tolerance analysis;},
|
||
doi={10.1109/IMTC.2010.5488118},
|
||
ISSN={1091-5281},}
|
||
|
||
@INPROCEEDINGS{5963919,
|
||
author={Ghahroodi, M.M. and Zwolinski, M. and Ozer, E.},
|
||
booktitle={Adaptive Hardware and Systems (AHS), 2011 NASA/ESA Conference on}, title={Radiation hardening by design: A novel gate level approach},
|
||
year={2011},
|
||
month={june},
|
||
volume={},
|
||
number={},
|
||
pages={74 -79},
|
||
keywords={SEU tolerant flip-flop design;SEU-tolerant clock-gating scheme;TMR;area-power overheads;electronic circuits;electronic systems;gate level approach;radiation-hardening techniques;sea-level applications;single-event-upset tolerant flip-flop design;size 65 nm;triple modular redundancy;flip-flops;integrated circuit reliability;logic design;radiation hardening (electronics);},
|
||
doi={10.1109/AHS.2011.5963919},
|
||
ISSN={},}
|
||
|
||
@article {ACS:ACS1297,
|
||
author = {Chamseddine, A. and Noura, H.},
|
||
title = {Sensor network design for complex systems},
|
||
journal = {International Journal of Adaptive Control and Signal Processing},
|
||
volume = {26},
|
||
number = {6},
|
||
publisher = {John Wiley & Sons, Ltd},
|
||
issn = {1099-1115},
|
||
url = {http://dx.doi.org/10.1002/acs.1297},
|
||
doi = {10.1002/acs.1297},
|
||
pages = {496--515},
|
||
keywords = {instrumentation, sensor network, complex systems, observability},
|
||
year = {2012},
|
||
}
|
||
|
||
@INPROCEEDINGS{generic_automotive_fmea_6034891,
|
||
author={Muller, C. and Valle, M. and Armengaud, E. and Tengg, A.},
|
||
booktitle={Industrial Informatics (INDIN), 2011 9th IEEE International Conference on}, title={A generic framework for failure modes and effects analysis of automotive networks},
|
||
year={2011},
|
||
month={july},
|
||
volume={},
|
||
number={},
|
||
pages={293 -298},
|
||
keywords={Analytical models;Dictionaries;Frequency selective surfaces;Network topology;Oscillators;Systematics;Topology;failure analysis;mobile radio;safety systems;EPL;FMEA;FlexRay-based distributed system;communication network technology;electrical physical layer;failure mode and effect analysis;generic framework;in-vehicle communication network;safety-relevant system development;},
|
||
doi={10.1109/INDIN.2011.6034891},
|
||
ISSN={},}
|
||
|
||
|
||
@INPROCEEDINGS{swseatbelt,
|
||
author={Emery D Berger},
|
||
booktitle={Communications of the ACM}, title={Software needs seatbelts and Airbags},
|
||
year={2012},
|
||
month={september},
|
||
volume={},
|
||
number={},
|
||
pages={48 - 56},
|
||
keywords={software reliability},
|
||
ISSN={Doi:10.1145/2330667.2330683},}
|
||
|
||
|
||
@Book{dcods,
|
||
author = {Franklin,Powell,Workman},
|
||
title = {Digital Control of Dynamic Systems},
|
||
publisher = {Addisson Wesley ISBN 0-201-33153-5},
|
||
year = {1997},
|
||
OPTkey = {},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {Control Theory},
|
||
OPTaddress = {},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
}
|
||
|
||
@BOOK{mixedsignaldsp,
|
||
AUTHOR = "Walt Kestler",
|
||
TITLE = "Mixed Signal and DSP Design Techniques ISBN 0750676116",
|
||
PUBLISHER = "Newnes/Analog Devices",
|
||
YEAR = "2003"
|
||
}
|
||
|
||
@BOOK{echoesofwar,
|
||
AUTHOR = "Bernard Lovell",
|
||
TITLE = "Echoes of War: The story of H2S RADAR ",
|
||
PUBLISHER = " Adam Hilger: ISBN 0750301309",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
@BOOK{boffin,
|
||
AUTHOR = "R Hanbury Brown",
|
||
TITLE = "Boffin: A Personal Story of the Early Days of Radar, Radio Astronomy and Quantum Optics",
|
||
PUBLISHER = " Adam Hilger: ISBN 0-85274-317-3",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
|
||
@BOOK{dmfnt,
|
||
AUTHOR = "R Garnier, J Taylor",
|
||
TITLE = "Discrete Mathematics for New Technology ISBN 0-7503-0135-X",
|
||
PUBLISHER = "IoP",
|
||
YEAR = "1992"
|
||
}
|
||
|
||
@BOOK{scsh,
|
||
AUTHOR = "D. Smith",
|
||
TITLE = "Safety Critical Systems Handbook, 3rd Ed. ISBN 978-0-08-096781-3",
|
||
PUBLISHER = "Butterworth HeinemannH",
|
||
YEAR = "2011"
|
||
}
|
||
|
||
@BOOK{fpodsadsp,
|
||
AUTHOR = "Robert D Strum and Donald E. Kirk",
|
||
TITLE = "First Principles of discrete Systems and Digital Signal Processing ISBN 0-201-09518-1",
|
||
PUBLISHER = "Addison-Wesley",
|
||
YEAR = "1988"
|
||
}
|
||
|
||
@ARTICLE{embedsfmea,
|
||
AUTHOR = "Peter L. Goddard",
|
||
TITLE = "Validating The Safety of Embedded Real-Time Control Systems using FMEA",
|
||
JOURNAL = "Reliability and Maintainability Symposium (RAMS), 1993 Proceedings - Annual",
|
||
YEAR = "1993"
|
||
}
|
||
|
||
@ARTICLE{modelsfmea,
|
||
AUTHOR = "Snooke, N",
|
||
TITLE = "Model-driven automated software FMEA",
|
||
JOURNAL = "Reliability and Maintainability Symposium (RAMS), 2011 Proceedings - Annual",
|
||
YEAR = "2011"
|
||
}
|
||
|
||
|
||
@ARTICLE{fftoriginal,
|
||
title={An Algorithm for the Machine Calculation of Complex Fourier Series},
|
||
author={James W. Cooley and John W. Tukey},
|
||
journal={Mathematics of Computation},
|
||
year={1965},
|
||
volume={19},
|
||
pages={297-301},
|
||
publisher={American Mathematical Society}
|
||
}
|
||
|
||
@article{Lutz:1997:RAU:590564.590572,
|
||
author = {Lutz, Robyn R. and Woodhouse, Robert M.},
|
||
title = {Requirements analysis using forward and backward search},
|
||
journal = {Ann. Softw. Eng.},
|
||
issue_date = {1997},
|
||
volume = {3},
|
||
month = jan,
|
||
year = {1997},
|
||
issn = {1022-7091},
|
||
pages = {459--475},
|
||
numpages = {17},
|
||
url = {http://dl.acm.org/citation.cfm\?id=590564.590572},
|
||
acmid = {590572},
|
||
publisher = {J. C. Baltzer AG, Science Publishers},
|
||
address = {Red Bank, NJ, USA},
|
||
}
|
||
|
||
|
||
|
||
@ARTICLE{sfmeaa,
|
||
AUTHOR = "Shawulu Hunira Nggada",
|
||
TITLE = "Software Failure Analysis at Architecture Level using FMEA",
|
||
JOURNAL = "International Journal of Software and its applications Vol 6. 1",
|
||
YEAR = "2012"
|
||
}
|
||
|
||
@ARTICLE{justifysmartnuke,
|
||
year={2005},
|
||
isbn={978-3-540-29200-5},
|
||
booktitle={Computer Safety, Reliability, and Security},
|
||
volume={3688},
|
||
series={Lecture Notes in Computer Science},
|
||
editor={Winther, Rune and Gran, BjørnAxel and Dahll, Gustav},
|
||
doi={10.1007/11563228_15},
|
||
title={Justification of Smart Sensors for Nuclear Applications},
|
||
url={http://dx.doi.org/10.1007/11563228_15},
|
||
publisher={Springer Berlin Heidelberg},
|
||
author={Bishop, Peter and Bloomfield, Robin and Guerra, Sofia and Tourlas, Kostas},
|
||
pages={194-207}
|
||
}
|
||
|
||
@ARTICLE{sfmeainterface,
|
||
author={Ozarin, N.W.},
|
||
booktitle={Reliability and Maintainability Symposium, 2009. RAMS 2009. Annual},
|
||
journal={Reliability and Maintainability Symposium, 2009. RAMS 2009. Annual},
|
||
title={Applying software failure modes and effects analysis to interfaces},
|
||
year={2009},
|
||
month={jan.},
|
||
pages={533 - 538},
|
||
volume={},
|
||
number={},
|
||
keywords={mission-critical system;safety-critical system;software failure mode and effect analysis;software variable;system recovery;},
|
||
doi={10.1109/RAMS.2009.4914732},
|
||
ISSN={0149-144X}}
|
||
%%#%%
|
||
|
||
@article{Fish200553,
|
||
title = "Investigating Reasoning with Constraint Diagrams ",
|
||
journal = "Electronic Notes in Theoretical Computer Science ",
|
||
volume = "127",
|
||
number = "4",
|
||
pages = "53 - 69",
|
||
year = "2005",
|
||
note = "Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004) Visual Languages and Formal Methods 2004",
|
||
issn = "1571-0661",
|
||
doi = "http://dx.doi.org/10.1016/j.entcs.2004.08.047",
|
||
url = "http://www.sciencedirect.com/science/article/pii/S1571066105001787",
|
||
author = "Andrew Fish and Jean Flower",
|
||
keywords = "Diagrammatic reasoning",
|
||
keywords = "constraint diagrams",
|
||
keywords = "logical inference "
|
||
}
|
||
|
||
@INPROCEEDINGS{incrementalfmea,
|
||
author={Price, C.J.},
|
||
booktitle={Reliability and Maintainability Symposium, 1996 Proceedings. International Symposium on Product Quality and Integrity., Annual},
|
||
title={Effortless incremental design FMEA},
|
||
year={1996},
|
||
month={jan},
|
||
volume={},
|
||
number={},
|
||
pages={43 -47},
|
||
keywords={Automotive engineering;Circuits;Costs;Design engineering;Failure analysis;Filling;Fires;Performance analysis;Power engineering and energy;Software tools;circuit analysis computing;circuit reliability;design engineering;failure analysis;Flame system;computer simulation;electrical engineering;electrical systems;failure mode and effects analysis;incremental design FMEA;reliability;software;},
|
||
doi={10.1109/RAMS.1996.500640},
|
||
ISSN={0149-144X},}
|
||
|
||
@ARTICLE{sfmea,
|
||
AUTHOR = "Neal Snooke and Chris Price",
|
||
TITLE = "An Automated Software FMEA",
|
||
JOURNAL = "International System Safety conference Singapore 2008",
|
||
YEAR = "2008"
|
||
}
|
||
|
||
@incollection{theoremflower,
|
||
year={2004},
|
||
isbn={978-3-540-21268-3},
|
||
booktitle={Diagrammatic Representation and Inference},
|
||
volume={2980},
|
||
series={Lecture Notes in Computer Science},
|
||
editor={Blackwell, AlanF. and Marriott, Kim and Shimojima, Atsushi},
|
||
doi={10.1007/978-3-540-25931-2_17},
|
||
title={Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams},
|
||
url={http://dx.doi.org/10.1007/978-3-540-25931-2_17},
|
||
publisher={Springer Berlin Heidelberg},
|
||
author={Flower, Jean and Masthoff, Judith and Stapleton, Gem},
|
||
pages={166-181}
|
||
}
|
||
|
||
|
||
|
||
% my bib file.
|
||
@INPROCEEDINGS{automatingFMEA1281774,
|
||
author={Papadopoulos, Y. and Parker, D. and Grante, C.},
|
||
booktitle={High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on},
|
||
title={Automating the failure modes and effects analysis of safety critical systems},
|
||
year={2004},
|
||
month={march},
|
||
volume={},
|
||
number={},
|
||
pages={310 - 311},
|
||
keywords={Aerospace engineering;Aerospace industry;Aerospace safety;Automotive engineering;Cause effect analysis;Computer architecture;Data engineering;Failure analysis;Performance analysis;Software performance; data flow analysis; fault trees; safety-critical software; software architecture; software fault tolerance; FMEA; component failure modes; data flow; data transactions; failure effect analysis; failure mode analysis; fault simulation; fault tree analysis; safety critical systems; software design; software development; system models; system safety analysis; system topology;},
|
||
doi={10.1109/HASE.2004.1281774},
|
||
ISSN={1530-2059},}
|
||
|
||
@book{stranks2007human,
|
||
title={Human Factors and Behavioural Safety ISBN 978-0-7506-5510-1},
|
||
author={Stranks, J.},
|
||
isbn={978-0-7506-6542-1},
|
||
url={http://books.google.co.uk/books?id=7RXYN2CIphMC},
|
||
year={2007},
|
||
publisher={Butterworth-Heinmann}
|
||
}
|
||
|
||
@INPROCEEDINGS{1372150,
|
||
author={Hartkopf, S.},
|
||
booktitle={Software Technology and Engineering Practice, 2003. Eleventh Annual International Workshop on},
|
||
title={From a single discipline risk management approach to an interdisciplinary one: adaptation of FMEA to software needs},
|
||
year={2003},
|
||
month={sept.},
|
||
volume={},
|
||
number={},
|
||
pages={ 204 - 213},
|
||
keywords={Automotive engineering;Computer industry;Electrical engineering;Engineering management;Failure analysis;Organizations;Production engineering;Project management;Risk management;Software engineering; failure analysis; project management; risk management; software development management; FMEA adaptation; STEP2003; Workshop of Interdisciplinary Software Engineering; failure modes-and-effects analysis; interdisciplinary projects; interdisciplinary risk management; nonsoftware products; project management task; single discipline risk management; software needs; software products;},
|
||
doi={10.1109/STEP.2003.12},
|
||
ISSN={},}
|
||
|
||
|
||
@article{1778436820050601,
|
||
Abstract = {Failure modes and effects analysis (FMEA) is used in the manufacturing industry to improve product quality and productivity. However, the traditional approach has many shortcomings that affect its effectiveness and limit its usefulness, especially in the early stages of design. Automating the FMEA report generation process seems to answer some of these problems, and there has been much past and on-going research in this area. However, most of the work is limited to specific applications. This paper proposes a method for FMEA generation for a generic application using minimum information during the conceptual design stage. Prototype software has been created for the proposed method. It has been evaluated using case studies from the design and manufacture of two-way radios. The evaluation revealed the feasibility of the proposal, as well as some weaknesses that need further improvement. Generally, the capability of the method to generate FMEA report with minimum information is demonstra},
|
||
Author = {Teoh, P. C. and Case, Keith},
|
||
ISSN = {0951192X},
|
||
Journal = {International Journal of Computer Integrated Manufacturing},
|
||
Keywords = {QUALITY of products, CONSUMER protection, QUALITY control, INDUSTRIAL productivity, MANUFACTURES, MANUFACTURING industries, QUALITY},
|
||
Number = {4},
|
||
Pages = {279 - 293},
|
||
Title = {An evaluation of failure modes and effects analysis generation method for conceptual design.},
|
||
Volume = {18},
|
||
URL = {http://search.ebscohost.com.ezproxy.brighton.ac.uk/login.aspx?direct=true&db=buh&AN=17784368&site=ehost-live},
|
||
Year = {2005}
|
||
}
|
||
|
||
|
||
@INPROCEEDINGS{931423,
|
||
author={Throop, D.R. and Malin, J.T. and Fleming, L.D.},
|
||
booktitle={Aerospace Conference, 2001, IEEE Proceedings.},
|
||
title={Automated incremental design FMEA},
|
||
year={2001},
|
||
month={},
|
||
volume={7},
|
||
number={},
|
||
pages={3458},
|
||
keywords={Analytical models;Design automation;Design engineering;Discrete event simulation;Failure analysis;Hybrid power systems;Performance analysis;Production;Propulsion;Steady-state;aerospace computing;aerospace simulation;discrete event simulation;engineering computing;failure analysis;production engineering computing;CONFIG hybrid discrete event simulator;EPOCH Simulation for Failure Analysis software;EPOCH algorithm;automated incremental design FMEA;automatic generation;design models;engineering product/operations cross-cutting hybrid simulation ;failure modes;failure modes/effects analysis;functional labels;propellant production plant;scenario scripts;scenario-based analyses;space systems;timestep modeling;},
|
||
doi={10.1109/AERO.2001.931423},
|
||
ISSN={}}
|
||
|
||
@INPROCEEDINGS{5754453,
|
||
author={Snooke, N. and Price, C.},
|
||
booktitle={Reliability and Maintainability Symposium (RAMS), 2011 Proceedings - Annual},
|
||
title={Model-driven automated software FMEA},
|
||
year={2011},
|
||
month={jan.},
|
||
volume={},
|
||
number={},
|
||
pages={1 -6},
|
||
keywords={Analytical models;Fault diagnosis;Hardware;Programming;Software;Testing;Unified modeling language;safety-critical software;MISRA C;component diagrams;low-level languages;low-level programming;model-driven automated software FMEA;model-driven software developments;safety critical embedded systems;sequence diagrams;software development philosophy;software effects analysis;software failure mode;source code embedded testing;state charts;use case diagram;Failure modes and effects analysis;model-driven software development;software FMEA;},
|
||
doi={10.1109/RAMS.2011.5754453},
|
||
ISSN={0149-144X},}
|
||
|
||
@INPROCEEDINGS{FMECAresearch,
|
||
author={Ying Chen and Cui Ye and Bingdong Liu and Rui Kang},
|
||
booktitle={Prognostics and System Health Management (PHM), 2012 IEEE Conference on}, title={Status of FMECA research and engineering application},
|
||
year={2012},
|
||
month={may},
|
||
volume={},
|
||
number={},
|
||
pages={1 -9},
|
||
keywords={automobile industry;electronics industry;failure analysis;military standards;product quality;reliability;research and development;risk analysis;China;FMECA automotive industries standards;FMECA electronic industries standards;FMECA engineering application status;FMECA military standards;FMECA research status;FMECA technology;NEC;Philips;QS9000;RPN;computer aided analysis;data accumulation;failure mode analysis methods;failure mode effect and criticality analysis;inter-department cooperation;international companies;product reliability;reliability analysis method;risk analysis;risk assessment;simulation tools;timed FMECA;FMECA;application status;current research;failure mechanism;standard;},
|
||
doi={10.1109/PHM.2012.6228914},
|
||
ISSN={2166-563X},}
|
||
|
||
|
||
@ARTICLE{sfmeaauto,
|
||
AUTHOR = "Barbara J. Czerny et all. Delphi Corporation.",
|
||
TITLE = "Effective Application of Software Safety Techniques for Automotive Embedded Control Systems",
|
||
JOURNAL = "Occupant Safety, Safety-Critical Systems, and Crashworthiness (SP-1923)",
|
||
YEAR = "2005"
|
||
}
|
||
|
||
@ARTICLE{procsfmeadb,
|
||
AUTHOR = "Baiqiao HUANG",
|
||
TITLE = "Software FMEA Approach Based on Failure Modes Database",
|
||
JOURNAL = "Reliability, Maintainability and Safety, 2009. ICRMS 2009. 8th International Conference ",
|
||
YEAR = "2009"
|
||
}
|
||
|
||
@BOOK{misra,
|
||
AUTHOR = "Gavin McCall",
|
||
TITLE = "MISRA:C:2004 Guidelines for the use of the C language in critical systems ISBN 978-0-9524156-4-0 ",
|
||
PUBLISHER = "Hobbs",
|
||
YEAR = "2004"
|
||
}
|
||
|
||
|
||
|
||
@ARTICLE{procsfmea,
|
||
AUTHOR = "Ozarin, N.",
|
||
TITLE = "A process for failure modes and effects analysis of computer software",
|
||
JOURNAL = "Reliability and Maintainability Symposium, 2003. Annual",
|
||
YEAR = "2003"
|
||
}
|
||
|
||
|
||
@ARTICLE{appswfmea,
|
||
AUTHOR = "Danhua Wang",
|
||
TITLE = "An approach of automatically performing fault tree analysis and failure mode effects techniques to Software",
|
||
JOURNAL = "Software Engineering and Data Mining (SEDM), 2010 2nd International Conference",
|
||
YEAR = "2010"
|
||
}
|
||
|
||
|
||
% my bib file.
|
||
|
||
@ARTICLE{fmd91,
|
||
AUTHOR = "Reliability~Analysis~Center US~DOC",
|
||
TITLE = "Failure Mode/Mechanisms Distributions 1991",
|
||
JOURNAL = "United States Department of Commerce: F30602-91-C-0002",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
@ARTICLE{fmeca,
|
||
AUTHOR = "United States DOD",
|
||
TITLE = "MIL-STD-1629A: Procedure for performing a failure mode, effects and criticality analysis",
|
||
JOURNAL = "United States Department of Defence",
|
||
YEAR = "1980"
|
||
}
|
||
|
||
@article{silsandsoftware,
|
||
author={Bishop, P.},
|
||
journal={Safety-Critical Systems Club Newsletter, 14(2)},
|
||
title={SILs and software},
|
||
year={2005},
|
||
volume={14},
|
||
number={2},
|
||
}
|
||
|
||
% $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $
|
||
@article{Clark200519,
|
||
title = "Failure Mode Modular De-Composition Using Spider Diagrams",
|
||
journal = "Electronic Notes in Theoretical Computer Science",
|
||
volume = "134",
|
||
number = "",
|
||
pages = "19 - 31",
|
||
year = "2005",
|
||
note = "Proceedings of the First International Workshop on Euler Diagrams (Euler 2004)",
|
||
issn = "1571-0661",
|
||
doi = "DOI: 10.1016/j.entcs.2005.02.018",
|
||
url = "http://www.sciencedirect.com/science/article/B75H1-4G6XT71-3/2/0e3a47df2ec15bfba9f85feae81786e3",
|
||
author = "R.P. Clark",
|
||
keywords = "Failsafe",
|
||
keywords = "EN298",
|
||
keywords = "gas-safety",
|
||
keywords = "burner",
|
||
keywords = "control",
|
||
keywords = "fault",
|
||
keywords = "double-fault",
|
||
keywords = "single-fault",
|
||
keywords = "fault-tolerance"
|
||
}
|
||
|
||
|
||
@INPROCEEDINGS{FMEAmultiple653556,
|
||
author={Price, C.J. and Taylor, N.S.},
|
||
booktitle={Reliability and Maintainability Symposium, 1998. Proceedings., Annual},
|
||
title={FMEA for multiple failures},
|
||
year={1998},
|
||
month={jan},
|
||
volume={},
|
||
number={},
|
||
pages={43 -47},
|
||
keywords={Analytical models;Automotive engineering;Circuit simulation;Circuit testing;Conferences;Design engineering;Failure analysis;Fires;Power engineering and energy;System analysis and design;automotive electronics;failure analysis;approximate failure rates;automotive electrical subsystems;components failure;failure mode and effects analysis;multiple failures;realistically complex subsystems;simulation;wash wipe circuit;},
|
||
doi={10.1109/RAMS.1998.653556},
|
||
ISSN={0149-144X},}
|
||
|
||
@INPROCEEDINGS{MILSTD1629short,
|
||
author={Agarwala, AS.},
|
||
booktitle={Reliability and Maintainability Symposium, 1990. Proceedings., Annual},
|
||
title={Shortcomings in MIL-STD-1629A guidelines for criticality analysis},
|
||
year={1990},
|
||
month={Jan},
|
||
pages={494-496},
|
||
keywords={failure analysis;MIL-STD-1629A guidelines;criticality analysis;failure mode analysis;item-criticality numbers;Chromium;Failure analysis;Guidelines;Hazards;Helicopters;Logistics;Maintenance;Mission critical systems;Performance analysis;Safety},
|
||
doi={10.1109/ARMS.1990.68007},}
|
||
|
||
@article{iso9001,
|
||
title = "ISO 9001 Quality",
|
||
journal = "British Standards Institute",
|
||
volume = " ",
|
||
number = "",
|
||
pages = " ",
|
||
year = "2012",
|
||
note = " ",
|
||
issn = "1571-0661",
|
||
doi = "DOI: 10.1016/j.entcs.2005.02.018",
|
||
url = "http://www.bsigroup.com/en/assessment-and-certification-services/management-systems/standards-and-schemes/iso-9001/",
|
||
author = "BSI",
|
||
keywords = "quality",
|
||
keywords = "ISO9001"
|
||
}
|
||
|
||
@article{dbamafta,
|
||
title = "Diagnosis by Algebraic Modelling and Fault Tree Induction",
|
||
journal = "Sixth International Workshop on principles of diagnosis",
|
||
volume = " ",
|
||
number = "",
|
||
pages = " ",
|
||
year = "1995",
|
||
note = "Working papers of DX-95: Sixth International Workshop on principles of diagnosis",
|
||
author = "Maus, Jakob and Neumann, Bernd",
|
||
keywords = "FTA",
|
||
keywords = "DIAGNOSTICS"
|
||
}
|
||
|
||
@article{syssafe2011,
|
||
title = "Developing a rigorous bottom-up modular static failure modelling methodology",
|
||
journal = "6th IET International Conference on System Safety, 2011",
|
||
volume = "",
|
||
number = "",
|
||
pages = "",
|
||
year = "2011",
|
||
note = "",
|
||
issn = "",
|
||
doi = "",
|
||
url = "",
|
||
author = "Clark, R and Fish, A and Garrett, C and Howse, J",
|
||
keywords = "Failsafe",
|
||
keywords = "EN298",
|
||
keywords = "gas-safety",
|
||
keywords = "burner",
|
||
keywords = "control",
|
||
keywords = "fault",
|
||
keywords = "double-fault",
|
||
keywords = "single-fault",
|
||
keywords = "fault-tolerance"
|
||
}
|
||
|
||
@INPROCEEDINGS{syssafe2012,
|
||
author={Clark, R. and Fish, A. and Garrett, C. and Howse, J.},
|
||
booktitle={System Safety, incorporating the Cyber Security Conference 2012, 7th IET International Conference on}, title={Applying Failure Mode Modular De-Composition (FMMD) across the software/hardware interface},
|
||
year={2012},
|
||
pages={1-6},
|
||
keywords={safety-critical software;system recovery;EN298 standard;EN61508 standard;FMEA;FMMD;component failure modes;electro-mechanical-software hybrids;electronic systems;failure mode effects analysis;failure mode modular decomposition;language feature constraints;mechanical systems;nonanalytical limbo;resultant system failures;review processes;safety critical control systems;software-hardware interface;static failure mode modelling;system wide behaviour;test efficiency benefits;safetycritical;software fmea;static failure mode modelling},
|
||
doi={10.1049/cp.2012.1506},}
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
@ARTICLE{ontfmea,
|
||
AUTHOR = "Lars Dittman et all",
|
||
TITLE = "FMEA using Ontologies",
|
||
JOURNAL = "18th International workshop on Qualitative Reasoning",
|
||
YEAR = "2004"
|
||
}
|
||
|
||
@INPROCEEDINGS{6464473,
|
||
author={Ward, D.D. and Crozier, S.E.},
|
||
booktitle={System Safety, incorporating the Cyber Security Conference 2012, 7th IET International Conference on},
|
||
title={The uses and abuses of ASIL decomposition in ISO 26262},
|
||
year={2012},
|
||
pages={1-6},
|
||
keywords={automotive electrics;automotive electronics;},
|
||
doi={10.1049/cp.2012.1523},
|
||
}
|
||
|
||
@article{Kafka20122,
|
||
title = "The Automotive Standard ISO 26262, the Innovative Driver for Enhanced Safety Assessment; Technology for Motor Cars ",
|
||
journal = "Procedia Engineering ",
|
||
volume = "45",
|
||
number = "0",
|
||
pages = "2 - 10",
|
||
year = "2012",
|
||
note = "2012 International Symposium on Safety Science and Technology",
|
||
issn = "1877-7058",
|
||
doi = "http://dx.doi.org/10.1016/j.proeng.2012.08.112",
|
||
url = "http://www.sciencedirect.com/science/article/pii/S1877705812031244",
|
||
author = "Peter Kafka",
|
||
keywords = "Historical perspective",
|
||
keywords = "main normative items",
|
||
keywords = "Functional unit and functional safety",
|
||
keywords = "Hardware and software assessment",
|
||
keywords = "Life cycle considerations",
|
||
keywords = "Impact on safety assessment performed in automotive industry "
|
||
}
|
||
|
||
@ARTICLE{bubba,
|
||
AUTHOR = "Ron Mancini",
|
||
TITLE = "Design of OP-Amp sine wave oscillators",
|
||
JOURNAL = "Analog Applications Journal: Texas Instruments: August",
|
||
YEAR = "2000"
|
||
}
|
||
@ARTICLE{ftahistory,
|
||
AUTHOR = "Clifton Ericsson",
|
||
TITLE = "Fault Tree Analysis a History",
|
||
JOURNAL = "Proceedings of the 17th international safety conference",
|
||
YEAR = "1999"
|
||
}
|
||
|
||
|
||
@article{sanjeev,
|
||
author = {Sanjeev Kumar Appicharla},
|
||
title = {Analysis and modelling of space shuttle challenger accident using management oversight and risk tree(MORT)},
|
||
journal = {7th IET System Safety Conference 2012},
|
||
publisher = {IEEE},
|
||
issn = {},
|
||
url = {},
|
||
doi = {},
|
||
keywords = {System approach to safety, groupthink bias, technology standards, safety critical decision making},
|
||
year = {2012},
|
||
}
|
||
|
||
|
||
@article{SMR:SMR580,
|
||
author = {Bachmann, Volker and Messnarz, Richard},
|
||
title = {Improving safety and availability of complex systems by using an integrated design approach in development},
|
||
journal = {Journal of Software: Evolution and Process},
|
||
publisher = {John Wiley & Sons, Ltd},
|
||
issn = {2047-7481},
|
||
url = {http://dx.doi.org/10.1002/smr.580},
|
||
doi = {10.1002/smr.580},
|
||
keywords = {integrated design, FMEA, safety standards},
|
||
year = {2012},
|
||
}
|
||
%%pages = {n/a--n/a},
|
||
|
||
@ARTICLE{fafmea,
|
||
AUTHOR = "Zigmund Bluvband, Pavel Grabov",
|
||
TITLE = "Failure Analysis of FMEA",
|
||
JOURNAL = "IEEE 1-4244-2509-9/09/",
|
||
YEAR = "2009"
|
||
}
|
||
@ARTICLE{fmeda,
|
||
AUTHOR = "John C. Grebe Dr. William M. Goble",
|
||
TITLE = "FMEDA – Accurate Product Failure Metrics",
|
||
JOURNAL = "EXIDA publication. www.exida.com/articles/FMEDA\%20Development.pdf",
|
||
YEAR = "2007"
|
||
}
|
||
@ARTICLE{canspec,
|
||
AUTHOR = "Bosch.",
|
||
TITLE = "CAN Specification 2.0",
|
||
JOURNAL = "Bosch Technical Standard",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
@ARTICLE{caninauto,
|
||
AUTHOR = "H. Zeltwanger",
|
||
TITLE = "Single Processor implementation of the CANopen Safety Protocol",
|
||
JOURNAL = "CAN in Automation (CiA)",
|
||
YEAR = "2008"
|
||
}
|
||
|
||
@ARTICLE{valueoflife,
|
||
AUTHOR = "W.K. Viscusi",
|
||
TITLE = "The value of life: Estimates with risks by occupation and industry",
|
||
JOURNAL = "Harvard John M. Olin Canter for Law ISSN 1045-6333",
|
||
YEAR = "2003"
|
||
}
|
||
|
||
|
||
@ARTICLE{crcembedd,
|
||
AUTHOR = "Philip Koopman, Tridib Chakravarty",
|
||
TITLE = "Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks",
|
||
JOURNAL = "The International Conference on dependable systems and networks DSN-2004",
|
||
YEAR = "2004"
|
||
}
|
||
|
||
@ARTICLE{nucfta,
|
||
AUTHOR = "US Nuclear reg commission",
|
||
TITLE = "Fault Tree Handbook",
|
||
JOURNAL = "Nuclear Safety Analysis Handbook",
|
||
YEAR = "1981"
|
||
}
|
||
|
||
@ARTICLE{nasafta,
|
||
AUTHOR = "NASA",
|
||
TITLE = "Fault Tree Handbook with Aerospace Applications",
|
||
JOURNAL = "NASA Handbook",
|
||
YEAR = "2002"
|
||
}
|
||
|
||
@BOOK{embupsys,
|
||
TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9",
|
||
AUTHOR = "Stuart R Ball",
|
||
PUBLISHER = "Newnes",
|
||
YEAR = "2002"
|
||
}
|
||
@BOOK{ehb,
|
||
AUTHOR = "Jerry C whitaker",
|
||
TITLE = "The Electronics Handbook ISBN:0-8493-8345-5 ",
|
||
PUBLISHER = "IEEE Press ",
|
||
YEAR = "1996"
|
||
}
|
||
@BOOK{alggraph,
|
||
AUTHOR = "Alan Gibbons",
|
||
TITLE = "Algorithmic Graph Theory ISBN:978-0521288811 ",
|
||
PUBLISHER = "Cambridge University PressCambridge University Press",
|
||
YEAR = "1985"
|
||
}
|
||
|
||
@BOOK{git,
|
||
AUTHOR = "Jon Loeliger",
|
||
TITLE = "Version Control with Git ISBN:978-0-596-52012-0",
|
||
PUBLISHER = "O'Reilly Media",
|
||
YEAR = "2009"
|
||
}
|
||
|
||
@BOOK{ince,
|
||
AUTHOR = "D. C. Ince",
|
||
TITLE = "In Introduction to discrete Mathematics, Formal System specification and Z",
|
||
PUBLISHER = "Oxford University Press",
|
||
YEAR = "1992"
|
||
}
|
||
|
||
@BOOK{dbcbe,
|
||
AUTHOR = "R. Mitchel",
|
||
TITLE = "Design By Contract by Example ISBN-13: 978-0201634600",
|
||
PUBLISHER = "Adisson-Wesley",
|
||
YEAR = "2002"
|
||
}
|
||
|
||
|
||
@BOOK{usefulinfoengineers,
|
||
AUTHOR = "William Fairbairn",
|
||
TITLE = "Useful Information for Engineers
|
||
being a series of lectures delivered to the working engineers of Yorkshire and Lancashire :
|
||
together with a series of appendices, containing the results of experimental inquiries into the
|
||
strength of materials, the causes of boiler explosions",
|
||
PUBLISHER = "Longman",
|
||
YEAR = "1864"
|
||
}
|
||
@BOOK{opmanage,
|
||
AUTHOR = "Roger Schroeder",
|
||
TITLE = "Operations Management: Contemporary Concepts and Cases ISBN: 978-0073403380",
|
||
PUBLISHER = "McGraw-Hill",
|
||
YEAR = "2010"
|
||
}
|
||
|
||
|
||
|
||
@BOOK{safeware,
|
||
AUTHOR = "Nancy Leveson",
|
||
TITLE = " Safeware: System safety and Computers ISBN: 0-201-11972-2",
|
||
PUBLISHER = "Addison-Wesley",
|
||
YEAR = "2005"
|
||
}
|
||
|
||
@BOOK{easw,
|
||
AUTHOR = "Nancy Leveson",
|
||
TITLE = "Engineering a Safer World ISBN: 978-0-262-01662-9",
|
||
PUBLISHER = "Addison-Wesley",
|
||
YEAR = "2005"
|
||
}
|
||
|
||
@BOOK{scse,
|
||
AUTHOR = "Fortescue, Swinerd, Stark",
|
||
TITLE = "Spacecraft Systems Engineering ISBN:978-0-470-75012-4",
|
||
PUBLISHER = "Wiley",
|
||
YEAR = "2011"
|
||
}
|
||
|
||
@BOOK{bfmea,
|
||
AUTHOR = "Robin McDermot",
|
||
TITLE = "The Basics of FMEA ISBN: 0-527-76320-9",
|
||
PUBLISHER = "Productivity",
|
||
YEAR = "1996"
|
||
}
|
||
|
||
@BOOK{mil1991,
|
||
AUTHOR = "United~States~DOD",
|
||
TITLE = "MIL-1991: Reliability Prediction of Electronic Equipment",
|
||
PUBLISHER = "United States Department of Defence",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
|
||
@BOOK{faa,
|
||
AUTHOR = "Federal~Aviation~Administration FAA",
|
||
TITLE = "System Safety Handbook",
|
||
PUBLISHER = "http://www.faa.gov/ library/manuals/aviation/risk\_management/ss\_handbook/",
|
||
YEAR = "2008"
|
||
}
|
||
|
||
|
||
@BOOK{sccs,
|
||
AUTHOR = "Neil~Storey",
|
||
TITLE = "Safety-Critical Computer Systems ISBN 0-201-42787-7",
|
||
PUBLISHER = "Prentice Hall",
|
||
YEAR = "1996"
|
||
}
|
||
|
||
|
||
@book{electronicssysapproach,
|
||
added-at = {2011-03-24T00:00:00.000+0100},
|
||
author = {Storey, Neil},
|
||
biburl = {http://www.bibsonomy.org/bibtex/2b735c0730d88e197a34a649611f025c9/dblp},
|
||
interhash = {db538f6c4e7c703ae5b1bda8764e626a},
|
||
intrahash = {b735c0730d88e197a34a649611f025c9},
|
||
isbn = {978-0-13-129396-0},
|
||
keywords = {dblp},
|
||
pages = {I-XII, 1-645},
|
||
publisher = {Pearson / Prentice Hall},
|
||
timestamp = {2011-03-24T00:00:00.000+0100},
|
||
title = {Electronics - a systems approach (4. ed.). ISBN 978-0-13-129396-0},
|
||
year = 2009
|
||
}
|
||
|
||
@inproceedings{Bishop:2010:ONT:1886301.1886325,
|
||
author = {Bishop, Peter and Cyra, Lukasz},
|
||
title = {Overcoming non-determinism in testing smart devices: a case study},
|
||
booktitle = {Proceedings of the 29th international conference on Computer safety, reliability, and security},
|
||
series = {SAFECOMP'10},
|
||
year = {2010},
|
||
isbn = {3-642-15650-9, 978-3-642-15650-2},
|
||
location = {Vienna, Austria},
|
||
pages = {237--250},
|
||
numpages = {14},
|
||
url = {http://dl.acm.org.ezproxy.brighton.ac.uk/citation.cfm?id=1886301.1886325},
|
||
acmid = {1886325},
|
||
publisher = {Springer-Verlag},
|
||
address = {Berlin, Heidelberg},
|
||
keywords = {non-determinism, safety, smart instruments, testing},
|
||
}
|
||
|
||
@article{smartinstruments,
|
||
title="Smart instruments in safety instrumented systems: http://www.isa.org/InTechTemplate.cfm?template=/ContentManagement/ContentDisplay.cfm$\&$ContentID=77994",
|
||
author={Tom S nobes},
|
||
year={2009},
|
||
biburl="http://www.isa.org/InTechTemplate.cfm?template=/ContentManagement/ContentDisplay.cfm\&ContentID=77994",
|
||
}
|
||
|
||
@INPROCEEDINGS{patterns6113886,
|
||
author={Lopatkin, I. and Iliasov, A. and Romanovsky, A. and Prokhorova, Y. and Troubitsyna, E.},
|
||
booktitle={High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on},
|
||
title={Patterns for Representing FMEA in Formal Specification of Control Systems},
|
||
year={2011},
|
||
pages={146-151},
|
||
keywords={control engineering computing;control systems;failure analysis;formal specification;program diagnostics;system recovery;effects analysis;error detection;error recovery;failure modes;formal event-B specification;formal system development;inductive safety analysis;requirement tracing;sluice control system;Computational modeling;Logic gates;Safety;Sensor systems;Switches;Event-B;FMEA;control systems;formal specification;patterns;safety},
|
||
doi={10.1109/HASE.2011.10},
|
||
ISSN={1530-2059},}
|
||
|
||
BibTeX | EndNote | ACM Ref
|
||
|
||
@book{Pfeiffer:2003:ENC:1199616,
|
||
author = {Pfeiffer, Olaf and Ayre, Andrew and Keydel, Christian},
|
||
title = {Embedded Networking with CAN and CANopen},
|
||
year = {2003},
|
||
isbn = {0929392787},
|
||
publisher = {Annabooks},
|
||
}
|
||
|
||
|
||
|
||
@PHDTHESIS{clark,
|
||
AUTHOR = "Robin Clark",
|
||
TITLE = "Failure mode modular de-composition",
|
||
SCHOOL = "Brighton University, School of Computing, Engineering and Mathematics http://eprints.brighton.ac.uk/12183/",
|
||
URL = "http://eprints.brighton.ac.uk/12183/",
|
||
YEAR = "2013"
|
||
}
|
||
|
||
@PHDTHESIS{garrett,
|
||
AUTHOR = "Chris Garrett",
|
||
TITLE = "Functional diagnosis strategies for analog systems using heuristic programming techniques",
|
||
SCHOOL = "Brighton University, School of Electrical Engineering",
|
||
YEAR = "1989"
|
||
}
|
||
|
||
@PHDTHESIS{maikowski,
|
||
AUTHOR = "Leo~M Maikowski",
|
||
TITLE = "Tolereranced Multiple Fault Diagnosis of Analog Circuits",
|
||
SCHOOL = " Brighton University, School of Electrical Engineering",
|
||
YEAR = "1995"
|
||
}
|
||
|
||
@BOOK{cbds,
|
||
AUTHOR = "Chris Price",
|
||
TITLE = "Computer-Based Diagnostic Systems ISBN 3-540-76198-5",
|
||
PUBLISHER = "Springer Practitioner series",
|
||
YEAR = "1999"
|
||
}
|
||
|
||
@BOOK{sem,
|
||
AUTHOR = "J.~Woodcock,~Martin~Loomes",
|
||
TITLE = "Software Engineering Mathematics ISBN 0-273-02673-9",
|
||
PUBLISHER = "Pitman",
|
||
YEAR = "1988"
|
||
}
|
||
|
||
@book{DBLP:books/ph/KernighanR88,
|
||
author = {Brian W. Kernighan and
|
||
Dennis Ritchie},
|
||
title = {The C Programming Language, Second Edition},
|
||
publisher = {Prentice-Hall},
|
||
year = {1988},
|
||
isbn = {0-13-110370-9},
|
||
bibsource = {DBLP, http://dblp.uni-trier.de}
|
||
}
|
||
|
||
|
||
@BOOK{allfour,
|
||
AUTHOR = "Betty Tootell",
|
||
TITLE = "All Four Engines Have Failed ISBN 0-233-97758-9",
|
||
PUBLISHER = "Andre Deutsch",
|
||
YEAR = "1985"
|
||
}
|
||
|
||
|
||
@BOOK{f77,
|
||
AUTHOR = "A. Balfour and D.H. Marwick",
|
||
TITLE = "Programming in Standard Fortran 77 ISBN 0-435-77486-7",
|
||
PUBLISHER = "Heinemann Educational Books",
|
||
YEAR = "1979"
|
||
}
|
||
|
||
@BOOK{ctw,
|
||
AUTHOR = "Gregory~J.E. Rawlins",
|
||
TITLE = "Compared to What ? An introduction to the analysis of algorithms ISBN 0-7167-8243-x",
|
||
PUBLISHER = "Computer Science Press",
|
||
YEAR = "1991"
|
||
}
|
||
|
||
|
||
|
||
@BOOK{alg,
|
||
AUTHOR = "Alan Gibbons",
|
||
TITLE = "Algorithmic Graph Theory ISBN 0-521-28881-9",
|
||
PUBLISHER = "Cambridge University Press",
|
||
YEAR = "1985"
|
||
}
|
||
|
||
@BOOK{found,
|
||
AUTHOR = "Ian Stewart and David Tall",
|
||
TITLE = "The Foundations of Mathematics : ISBN 0-19-853165-6",
|
||
PUBLISHER = "Oxford University Press",
|
||
YEAR = "1977"
|
||
}
|
||
|
||
@BOOK{shin,
|
||
AUTHOR = "Sun-Joo~Shin",
|
||
TITLE = "The Iconic Logic of Peirces Graphs",
|
||
PUBLISHER = "Bradford",
|
||
YEAR = "2002"
|
||
}
|
||
|
||
@BOOK{probstatcrash,
|
||
AUTHOR = " M~R Spiegel and J Schiller and A Srinivasan",
|
||
TITLE = "Probability and Statistics Crash Course : SHCAUM'S : ISBN 0-07-138341-7",
|
||
PUBLISHER = "McGraw Hill",
|
||
YEAR = "2001"
|
||
}
|
||
|
||
@BOOK{probstat,
|
||
AUTHOR = " M~R Spiegel",
|
||
TITLE = "Probability and Statistics Second edition : SHCAUM'S : ISBN 0-07-135004-7",
|
||
PUBLISHER = "Oxford University Press",
|
||
YEAR = "1988"
|
||
}
|
||
|
||
@BOOK{idmfssz,
|
||
AUTHOR = " D~C Ince",
|
||
TITLE = " An Introduction to Discrete Mathematics, Formal System Specification and Z : Oxford : ISBN 0-19-853836-7",
|
||
PUBLISHER = "Oxford University Press",
|
||
YEAR = "1988"
|
||
}
|
||
|
||
@BOOK{rdh,
|
||
AUTHOR = "F Langford-Smith",
|
||
TITLE = "Radio designers Handbook: Fourth Edition",
|
||
PUBLISHER = "ILIFFE",
|
||
YEAR = "1953"
|
||
}
|
||
|
||
@BOOK{wdycwopt,
|
||
AUTHOR = " Richard~P Feynman",
|
||
TITLE = " What do you care what other people think: Harper Collins : ISBN 0-586-21855-6",
|
||
PUBLISHER = " harpercollins",
|
||
YEAR = "1988"
|
||
}
|
||
|
||
@BOOK{joyofsets,
|
||
AUTHOR = " Keith Devlin",
|
||
TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6",
|
||
PUBLISHER = " Springer",
|
||
YEAR = "1993"
|
||
}
|
||
|
||
F@ARTICLE{5492693,
|
||
author={Bishop, P. and Bloomfield, R. and Littlewood, Bev and Povyakalo, A. and Wright, D.},
|
||
journal={Software Engineering, IEEE Transactions on},
|
||
title={Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems},
|
||
year={2011},
|
||
volume={37},
|
||
number={5},
|
||
pages={708-717},
|
||
keywords={probability;software fault tolerance;uncertainty handling;conservative claims;formal support;probability of failure on demand;software-based system dependability;software-based system reliability;software-based system safety;Battery powered vehicles;Phase frequency detector;Power engineering and energy;Power engineering computing;Programming;Reliability engineering;Software reliability;Software safety;Software systems;Uncertainty;Bayesian probability;safety case;software reliability.},
|
||
doi={10.1109/TSE.2010.67},
|
||
ISSN={0098-5589},}
|
||
|
||
|
||
@MISC{concurrency_c_tool,
|
||
author = "D. Sheridan",
|
||
title = "Simple Concurrency Analysis Plugin for Frama-C",
|
||
howpublished = "Available from https://bitbucket.org/adelard/simple-concurrency",
|
||
year = "2013"
|
||
}
|
||
|
||
@MISC{microchip,
|
||
author = "Microchip",
|
||
title = "Microchip technology Inc. Home Page",
|
||
howpublished = "Available from http://www.microchip.com/",
|
||
year = "2009"
|
||
}
|
||
|
||
@MISC{gnuplot,
|
||
author = "Various Open~source~Project",
|
||
title = "Gnuplot: graph plotting utility",
|
||
howpublished = "Available from http://www.gnuplot.info/",
|
||
year = "2005"
|
||
}
|
||
@book{Janert:2009:GAU:1631269,
|
||
author = {Janert, Philipp K.},
|
||
title = {Gnuplot in Action: Understanding Data with Graphs},
|
||
year = {2009},
|
||
isbn = {1933988398, 9781933988399},
|
||
publisher = {Manning Publications Co.},
|
||
address = {Greenwich, CT, USA},
|
||
}
|
||
@MISC{eulerviz,
|
||
author = "Peter Rodgers and John~Howse and Andrew~Fish",
|
||
title = "Visualization of Euler Diagrams",
|
||
howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf",
|
||
year = "2005"
|
||
}
|
||
|
||
@MISC{eulerprop,
|
||
author = "Gem~Stapleton and Peter~Rodgers and John~Howse, ",
|
||
title = "Properties of Euler Diagrams",
|
||
howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/",
|
||
year = "2007"
|
||
}
|
||
|
||
@MISC{en161,
|
||
author = "EN~Standard BSI",
|
||
title = "EN161:2007 Automatic shutoff valves for gas burners and gas appliances",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "2003"
|
||
}
|
||
|
||
@MISC{en298,
|
||
author = "EN~Standard BSI",
|
||
title = "EN298:2003 Gas Burner Controllers with forced draft",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "2003"
|
||
}
|
||
@MISC{en230,
|
||
author = "EN~Standard BSI",
|
||
title = "EN230:2005 Automatic burner control systems for oil burners",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "2005"
|
||
}
|
||
@MISC{en60730,
|
||
author = "EN~Standard BSI",
|
||
title = "EN60730: Automatic Electrical controls for household and similar use",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "1994"
|
||
}
|
||
|
||
@MISC{tisallenkey,
|
||
author="Texas~Instruments TI",
|
||
title = "Analysis of the Sallen Key architecture: Application report",
|
||
howpublished = "Available from http://www.ti.com/lit/an/sloa024b/sloa024b.pdf",
|
||
year="2002"
|
||
}
|
||
|
||
@MISC{challenger,
|
||
author = "US~Presidential~Commission US-PCOM",
|
||
title = "Report of the SpaceShuttle Challanger Accident",
|
||
howpublished = "Available from http://science.ksc.nasa.gov/shuttle/missions/51-l/docs/rogers-commission/table-of-contents.html",
|
||
year = "1986"
|
||
}
|
||
|
||
@MISC{iec60812,
|
||
author = "IEC~Standard BSI",
|
||
title = "IEC 60812:1985 Analysis Techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "1985"
|
||
}
|
||
|
||
|
||
@MISC{microchipreliability,
|
||
author = "Microchip",
|
||
title = "Microchip: Reliability Data Search Engine: Annual Product Reliability Reports",
|
||
howpublished = "Microchip Inc. http://www.microchip.com/reliabilityreport/Default.aspx",
|
||
year = "2013"
|
||
}
|
||
|
||
|
||
@MISC{javaarea,
|
||
author = "Sun~Micro~Systems",
|
||
title = "Java Area Operations",
|
||
howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
|
||
year = "2000"
|
||
}
|
||
@MISC{en61508,
|
||
author = "E N Standard",
|
||
title = "61508:2002 Functional safety of electrical/electronic/programmable electronic safety related systems",
|
||
howpublished = "British standards Institution http://www.bsigroup.com/",
|
||
year = "2002"
|
||
}
|
||
|
||
|
||
@Manual{lm358,
|
||
title = {Datasheet: Low-Power dual operation amplifiers LM158,LM258,LM358: Doc ID 2163 Rev 10},
|
||
key = {Doc ID 2163 Rev 10},
|
||
author = {ST Microelecronics.},
|
||
OPTorganization = {},
|
||
address = {http://www.st.com/},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2012},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
@Manual{tlp181,
|
||
title = {TLP 181 Datasheet},
|
||
key = {TOSHIBA Photocoupler GaAs Ired and Photo−Transistor},
|
||
author = {Toshiba},
|
||
OPTorganization = {},
|
||
address = {http://www.toshiba.com/taec/components2/Datasheet\_Sync//206/4191.pdf},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2009},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
@book{Yourdon:1989:MSA:62004,
|
||
author = {Yourdon, Edward},
|
||
title = {Modern structured analysis},
|
||
year = {1989},
|
||
isbn = {0-13-598624-9},
|
||
publisher = {Yourdon Press},
|
||
address = {Upper Saddle River, NJ, USA},
|
||
}
|
||
|
||
|
||
@Manual{pic18f25k80erratta,
|
||
title = {Datasheet Erratta: PIC18F66K80 Family Silicon Errata and Data Sheet Clarification DS805119D},
|
||
OPTkey = {},
|
||
author = {Microchip},
|
||
OPTorganization = {},
|
||
address = {http://ww1.microchip.com/ downloads/en/DeviceDoc/80519d.pdf},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2011},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
|
||
|
||
@Manual{mcp2515,
|
||
title = {MCP2515 Can Protocol IC Datasheet},
|
||
OPTkey = {},
|
||
author = {Microchip},
|
||
OPTorganization = {},
|
||
address = {http://www.microchip.com/ wwwproducts/Devices.aspx?product=MCP2515},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2012},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
|
||
@Manual{pic18f2523,
|
||
title = {PIC18F2523 Datasheet},
|
||
OPTkey = {},
|
||
author = {Microchip},
|
||
OPTorganization = {},
|
||
address = {http://ww1.microchip.com/ downloads/en/DeviceDoc/39755c.pdf},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2009},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
|
||
|
||
@Manual{cd4013,
|
||
title = {CD4013 Dual D-Type Flip Flop Datasheet},
|
||
OPTkey = {},
|
||
author = {FAIRCHILD Semiconductor},
|
||
OPTorganization = {},
|
||
address = {http://www.fairchildsemi.com/ds/CD/CD4013BC.pdf},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
year = {2002},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
@Book{wt,
|
||
title = {Water Treatment Essentials for Boiler Plant Operation},
|
||
publisher = {Mc Graw Hill ISBN 0-07-048291-5},
|
||
year = {1997},
|
||
author = {Robert G Nunn},
|
||
ALTALTeditor = {},
|
||
OPTkey = {},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {},
|
||
OPTaddress = {},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {ISBN 0-07-048291-5},
|
||
OPTlocalfile = {},
|
||
OPTabstracts = {},
|
||
}
|
||
|
||
|
||
@TechReport{spiraxsarco,
|
||
author = {Spirax Sarco},
|
||
title = {http://www.spiraxsarco.com/resources/steam-engineering-tutorials.asp},
|
||
institution = {Spirax Sarco},
|
||
year = {2010},
|
||
OPTkey = {},
|
||
OPTtype = {},
|
||
OPTnumber = {},
|
||
OPTaddress = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
@TechReport{steamboilers,
|
||
author = {Nancy Leveson},
|
||
title = {High-Pressure steam Engines and Computer Software},
|
||
institution = {University of Washington},
|
||
year = {1994},
|
||
OPTkey = {},
|
||
OPTtype = {},
|
||
OPTnumber = {},
|
||
OPTaddress = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
@Book{aoe,
|
||
title = {The Art of Electronics, 2nd Edition ISBN 0-521-37095-7},
|
||
publisher = {Cambridge},
|
||
year = {1989},
|
||
author = {Paul Horowitz, Winfield Hill},
|
||
OPTkey = {},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {},
|
||
OPTaddress = {},
|
||
OPTedition = {2nd},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {ISBN 0-521-37095-7},
|
||
OPTlocalfile = {},
|
||
OPTabstracts = {},
|
||
}
|
||
|
||
|
||
@TechReport{eurothermtables,
|
||
author = {Eurotherm},
|
||
title = {Thermocouple Emf TABLES and PLATINUM 100 RESISTANCE THERMOMETER TABLES},
|
||
institution = {Eurotherm Ltd, UK},
|
||
year = {1973},
|
||
OPTkey = {},
|
||
OPTtype = {},
|
||
OPTnumber = {},
|
||
OPTaddress = {},
|
||
OPTmonth = {June},
|
||
OPTnote = {Bulletin TT-1},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {},
|
||
}
|
||
|
||
|
||
@Book{ldd,
|
||
author = {Jonathon Corbet},
|
||
ALTeditor = {Alessandro Rubini},
|
||
ALTeditor = {Greg Kroah-Hartman},
|
||
title = {Linux Device Drivers},
|
||
publisher = {O'Reilly ISBN 0-596-00590-3},
|
||
year = {1998},
|
||
OPTkey = {ISBN 0-596-00590-3},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {linux},
|
||
OPTaddress = {},
|
||
OPTedition = {3rd},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {www.oreilly.com},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|
||
|
||
@Book{bash,
|
||
author = {Carl Albing},
|
||
title = {Bash Cookbook},
|
||
publisher = {O'Reilly ISBN 0-596-52678-4},
|
||
year = {2007},
|
||
OPTkey = {ISBN 0-596-52678-4},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {unix/linux},
|
||
OPTaddress = {},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {www.oreilly.com},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|
||
@Book{sedawk,
|
||
author = {Dale Dougherty, Arnold Robbins},
|
||
title = {Sed and Awk},
|
||
publisher = {O'Reilly ISBN 1-56592-225-5},
|
||
year = {1997},
|
||
OPTkey = {ISBN 1-56592-225-5},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {unix/linux},
|
||
OPTaddress = {},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {www.oreilly.com},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|
||
@Book{bels,
|
||
author = {Karim Yaghmour},
|
||
title = {Building Embedded LINUX systems},
|
||
publisher = {O'Reilly ISBN ISBN 0-596-00222-X},
|
||
year = {2003},
|
||
OPTkey = {ISBN 0-596-00222-X},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {linux},
|
||
OPTaddress = {},
|
||
OPTedition = {3rd},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {www.oreilly.com},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|
||
@Book{can,
|
||
author = {Olaf Pfeiffer},
|
||
ALTeditor = {Andrew Ayre},
|
||
ALTeditor = {Christian Keydel},
|
||
title = {Embedded networking with CAN and CANopen},
|
||
publisher = {RTC ISBN 0-929392-78-7},
|
||
year = {2003},
|
||
OPTkey = { },
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {Embedded Systems},
|
||
OPTaddress = {},
|
||
OPTedition = {1st},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {www.rtcbooks.com},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|
||
@Article{article,
|
||
author = {dd},
|
||
title = {dd},
|
||
journal = {dd},
|
||
year = {2008},
|
||
OPTkey = {},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTpages = {1,2},
|
||
OPTmonth = {JAN},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|
||
@Book{sqlite,
|
||
author = {Micheal Owens},
|
||
title = {The definitive guide to SQLite},
|
||
publisher = {Apres ISBN 1-59059-673-0},
|
||
year = {2006},
|
||
OPTkey = {},
|
||
OPTvolume = {},
|
||
OPTnumber = {},
|
||
OPTseries = {Databases/SQLite},
|
||
OPTaddress = {},
|
||
OPTedition = {},
|
||
OPTmonth = {},
|
||
OPTnote = {},
|
||
OPTannote = {},
|
||
OPTurl = {},
|
||
OPTdoi = {},
|
||
OPTissn = {},
|
||
OPTlocalfile = {},
|
||
OPTabstract = {}
|
||
};
|
||
|