Modular Modeling for the Diagnostic of Complex Discrete-Event Systems
For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production, and, of course, the reduction of maintenance costs. It is a key action in the impr...
Saved in:
| Published in | IEEE transactions on automation science and engineering Vol. 10; no. 4; pp. 1101 - 1123 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
New York
IEEE
01.10.2013
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers |
| Subjects | |
| Online Access | Get full text |
| ISSN | 1545-5955 1558-3783 |
| DOI | 10.1109/TASE.2012.2229707 |
Cover
| Abstract | For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production, and, of course, the reduction of maintenance costs. It is a key action in the improvement of performance of industrial feature. This paper proposes a new approach to diagnose complex systems modeled by communicating timed automata. Each component has been modeled separately by a timed automaton integrating various operating modes while the communication between the various components is carried out by the control module. Starting from each module of the complex system, a single deterministic automaton, called a diagnoser, is constructed that uses observable events to detect the occurrence of a failure. This modeling formalism provides means for formal verification of the complex system model and its diagnoser. The model-checking methods are used to check correctness properties. The steps of the method are described by an algorithm and illustrated through a batch neutralization process. The implementation of the algorithm is also discussed. |
|---|---|
| AbstractList | For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production, and, of course, the reduction of maintenance costs. It is a key action in the improvement of performance of industrial feature. This paper proposes a new approach to diagnose complex systems modeled by communicating timed automata. Each component has been modeled separately by a timed automaton integrating various operating modes while the communication between the various components is carried out by the control module. Starting from each module of the complex system, a single deterministic automaton, called a diagnoser, is constructed that uses observable events to detect the occurrence of a failure. This modeling formalism provides means for formal verification of the complex system model and its diagnoser. The model-checking methods are used to check correctness properties. The steps of the method are described by an algorithm and illustrated through a batch neutralization process. The implementation of the algorithm is also discussed. [PUBLICATION ABSTRACT] For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production, and, of course, the reduction of maintenance costs. It is a key action in the improvement of performance of industrial feature. This paper proposes a new approach to diagnose complex systems modeled by communicating timed automata. Each component has been modeled separately by a timed automaton integrating various operating modes while the communication between the various components is carried out by the control module. Starting from each module of the complex system, a single deterministic automaton, called a diagnoser, is constructed that uses observable events to detect the occurrence of a failure. This modeling formalism provides means for formal verification of the complex system model and its diagnoser. The model-checking methods are used to check correctness properties. The steps of the method are described by an algorithm and illustrated through a batch neutralization process. The implementation of the algorithm is also discussed. For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the improvement of the availability, the growth of production and of course, the reduction of maintenance costs. It is a key action in the improvement of performance of industrial feature. This article proposes a new approach which makes it possible to diagnose complex systems thanks to a modular modelling by communicating timed automata. Indeed, each component has been modeled separately, by a timed automaton integrating these various operating modes and the communication between the various components is carried out by the control module. Starting from each module of the complex system, this approach computes a deterministic automaton, called a diagnoser that uses observable events to detect the occurrence of a failure. The steps of the method are described by algorithms and illustrated through a batch neutralization process. The issue of implementation is also discussed. |
| Author | Gascard, Eric Simeu-Abazi, Zineb |
| Author_xml | – sequence: 1 givenname: Eric surname: Gascard fullname: Gascard, Eric email: eric.gascard@imag.fr organization: TIMA Lab., UJF, Grenoble, France – sequence: 2 givenname: Zineb surname: Simeu-Abazi fullname: Simeu-Abazi, Zineb email: zineb.simeu-abazi@g-scop.grenoble-inp.fr organization: G-SCOP Lab., UJF, Grenoble, France |
| BackLink | https://hal.science/hal-00787538$$DView record in HAL |
| BookMark | eNp9UM1OAjEYbAwmAvoAxssmnjws9me77R4JrmKC8QCem27pQsmyxbYQeXu7gXDw4Gm-TGbmm8wA9FrbagDuERwhBIvnxXhejjBEeIQxLhhkV6CPKOUpYZz0ujujKS0ovQED7zcQ4owXsA_KD7vcN9IlEXVj2lVSW5eEtU5ejFy11gejElsnE7vdNfonsl45HXRaHnQbkvnRB731t-C6lo3Xd2ccgq_XcjGZprPPt_fJeJYqgllIK17V9ZIyUlUSFVQRUmDCKc45xKiKlVitOVdQE5JBlHOm8iXMJMklw4pKSobg6ZS7lo3YObOV7iisNGI6nomOg5BxRgk_oKh9PGl3zn7vtQ9iY_eujfUEyjIEaQ6LIqrQSaWc9d7p-hKLoOiWFd2yoltWnJeNHvbHo0yQwdg2OGmaf50PJ6fRWl8-5RmKXRj5BSNUhWE |
| CODEN | ITASC7 |
| CitedBy_id | crossref_primary_10_1109_TE_2014_2358551 crossref_primary_10_1016_j_compchemeng_2016_11_042 crossref_primary_10_1016_j_ifacol_2017_08_2099 crossref_primary_10_1108_JMTM_03_2013_0025 crossref_primary_10_1109_TSMC_2014_2375158 crossref_primary_10_1109_TSMC_2013_2296277 crossref_primary_10_1109_TASE_2019_2951627 crossref_primary_10_1016_j_compchemeng_2015_08_007 crossref_primary_10_1109_TASE_2016_2574875 crossref_primary_10_1016_j_cherd_2019_02_033 |
| Cites_doi | 10.1016/j.conengprac.2011.06.007 10.1109/24.159800 10.1080/00207540802367074 10.1109/TAC.2005.851444 10.1016/j.cherd.2011.05.007 10.1109/9.940942 10.1109/3468.895897 10.1109/WODES.2006.1678439 10.1016/j.isatra.2007.03.002 10.1109/CESA.2006.4281777 10.1007/978-3-540-31982-5_14 10.1109/9.272327 10.1109/TAC.2009.2014932 10.1007/BF01441211 10.1109/TSMCA.2005.853503 10.1007/978-3-540-27863-4_28 10.1109/ACC.1997.611749 10.1007/s10626-006-6177-5 10.5772/69 10.1007/978-1-4471-3829-7 10.1016/j.conengprac.2010.12.010 10.1016/0304-3975(94)90010-8 10.1016/j.ress.2010.09.005 10.1016/j.ress.2009.11.007 10.1109/TASE.2006.879916 10.1007/s10626-006-0006-8 10.1007/11817963_24 10.1109/87.486338 10.1016/j.automatica.2009.07.021 10.1016/S0950-5849(01)00223-3 10.1016/S0004-3702(99)00019-3 10.1016/B978-044450813-3/50026-6 10.1109/9.412626 10.1109/ICSMC.1998.725394 10.1016/j.sysconle.2009.11.004 10.1109/TASE.2010.2049841 10.1080/13873950500241479 10.1007/978-3-540-27755-2_3 10.1201/b11433-58 10.1016/j.conengprac.2005.03.028 10.1201/b11433-62 10.1109/9.855548 10.1109/TSMCA.2011.2169950 10.1007/3-540-45739-9_14 10.1016/j.artint.2005.01.002 10.1109/TAC.2003.814099 10.1109/TAC.2002.802763 10.1109/9.52290 10.1109/TAC.2003.811249 10.1007/s10626-009-0074-7 10.1016/j.matcom.2005.11.003 10.1007/s10626-005-2866-8 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Oct 2013 Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Oct 2013 – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D 1XC |
| DOI | 10.1109/TASE.2012.2229707 |
| DatabaseName | IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1558-3783 |
| EndPage | 1123 |
| ExternalDocumentID | oai:HAL:hal-00787538v1 3095317351 10_1109_TASE_2012_2229707 6416097 |
| Genre | orig-research Feature |
| GroupedDBID | -~X 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK AENEX AETIX AGQYO AGSQL AHBIQ AIBXA AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P HZ~ H~9 IFIPE IPLJI JAVBF LAI M43 O9- OCL PQQKQ RIA RIE RNS AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D RIG 1XC |
| ID | FETCH-LOGICAL-c327t-b8bffd573bba195c3392385268021b0247fe88c0e33401687c6d04a36a72c5a53 |
| IEDL.DBID | RIE |
| ISSN | 1545-5955 |
| IngestDate | Tue Oct 14 20:56:13 EDT 2025 Mon Jun 30 07:03:24 EDT 2025 Thu Apr 24 22:51:27 EDT 2025 Wed Oct 01 03:35:37 EDT 2025 Tue Aug 26 16:46:57 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Issue | 4 |
| Keywords | software implementation fault diagnosis diagnosers fault detection Discrete-event systems timed automaton modular modelling |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c327t-b8bffd573bba195c3392385268021b0247fe88c0e33401687c6d04a36a72c5a53 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 |
| ORCID | 0000-0003-4332-0752 0000-0002-1660-3960 |
| PQID | 1441056099 |
| PQPubID | 27623 |
| PageCount | 23 |
| ParticipantIDs | proquest_journals_1441056099 ieee_primary_6416097 crossref_citationtrail_10_1109_TASE_2012_2229707 crossref_primary_10_1109_TASE_2012_2229707 hal_primary_oai_HAL_hal_00787538v1 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2013-10-01 |
| PublicationDateYYYYMMDD | 2013-10-01 |
| PublicationDate_xml | – month: 10 year: 2013 text: 2013-10-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on automation science and engineering |
| PublicationTitleAbbrev | TASE |
| PublicationYear | 2013 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) – name: Institute of Electrical and Electronics Engineers |
| References | ref57 ref13 ref56 ref12 hashtrudi zad (ref9) 2003; 48 ref15 ref58 ref52 ref11 singh (ref7) 1987 ref10 ref17 ref16 ref19 ref18 supavatanakul (ref41) 2006; 14 bouyer (ref53) 2005; 3441 ref51 ref50 ref46 ref45 ref48 ref47 ref42 (ref54) 1992 chung (ref21) 2003; 3 ref8 ref4 ref3 ref5 knotek (ref43) 2006 ref35 ref34 ref37 ref36 ref31 ref30 ref33 ref2 ref39 ref38 chen (ref32) 1997 ref24 ref23 ref26 ref25 ref20 ref22 ref28 tripakis (ref40) 2002; 2469 ref27 ref29 bauer (ref55) 2004; 3147 vesely (ref1) 2002 simani (ref6) 2003 bengtsson (ref49) 2004; 3098 simeu-abazi (ref44) 2010 dotoli (ref14) 2009; 45 |
| References_xml | – ident: ref38 doi: 10.1016/j.conengprac.2011.06.007 – ident: ref2 doi: 10.1109/24.159800 – ident: ref39 doi: 10.1080/00207540802367074 – ident: ref33 doi: 10.1109/TAC.2005.851444 – ident: ref58 doi: 10.1016/j.cherd.2011.05.007 – ident: ref51 doi: 10.1109/9.940942 – ident: ref12 doi: 10.1109/3468.895897 – ident: ref35 doi: 10.1109/WODES.2006.1678439 – ident: ref34 doi: 10.1016/j.isatra.2007.03.002 – ident: ref57 doi: 10.1109/CESA.2006.4281777 – volume: 3441 start-page: 219 year: 2005 ident: ref53 publication-title: Foundations of Software Science and Computational Structures doi: 10.1007/978-3-540-31982-5_14 – ident: ref31 doi: 10.1109/9.272327 – ident: ref11 doi: 10.1109/TAC.2009.2014932 – ident: ref10 doi: 10.1007/BF01441211 – ident: ref28 doi: 10.1109/TSMCA.2005.853503 – year: 1992 ident: ref54 publication-title: Readings in modelbased diagnosis – volume: 3147 start-page: 517 year: 2004 ident: ref55 publication-title: Integration of Software Specification Techniques for Applications in Engineering doi: 10.1007/978-3-540-27863-4_28 – start-page: 31 year: 1997 ident: ref32 article-title: Modeling and diagnosis of timed discrete event systems?A factory automation example publication-title: Proc Amer Control Conf doi: 10.1109/ACC.1997.611749 – ident: ref29 doi: 10.1007/s10626-006-6177-5 – year: 1987 ident: ref7 publication-title: Fault Detection and Reliability Knowledge based and other approaches – ident: ref26 doi: 10.5772/69 – volume: 3 start-page: 2727 year: 2003 ident: ref21 article-title: Failure diagnosis: A case study on modeling and analysis by petri nets publication-title: Proc IEEE Int Conf Syst Man Cybern – start-page: 147 year: 2010 ident: ref44 article-title: Backward time analysis for the diagnosis of discrete event systems publication-title: Proc 1st IFAC Workshop Adv Maintenance Eng Services and Technol – year: 2003 ident: ref6 publication-title: Model-Based Fault Diagnosis in Dynamic Systems Using Identification Techniques doi: 10.1007/978-1-4471-3829-7 – year: 2002 ident: ref1 publication-title: ?Fault tree handbook with aerospace applications ? – ident: ref22 doi: 10.1016/j.conengprac.2010.12.010 – ident: ref48 doi: 10.1016/0304-3975(94)90010-8 – ident: ref4 doi: 10.1016/j.ress.2010.09.005 – ident: ref45 doi: 10.1016/j.ress.2009.11.007 – year: 2006 ident: ref43 publication-title: Fault diagnosis based on temporal analysis – ident: ref25 doi: 10.1109/TASE.2006.879916 – ident: ref30 doi: 10.1007/s10626-006-0006-8 – ident: ref47 doi: 10.1007/11817963_24 – ident: ref18 doi: 10.1109/87.486338 – volume: 45 start-page: 2665 year: 2009 ident: ref14 article-title: On-line fault detection in discrete event systems by Petri nets and integer linear programming publication-title: Automatica doi: 10.1016/j.automatica.2009.07.021 – ident: ref3 doi: 10.1016/S0950-5849(01)00223-3 – ident: ref23 doi: 10.1016/S0004-3702(99)00019-3 – ident: ref56 doi: 10.1016/B978-044450813-3/50026-6 – ident: ref17 doi: 10.1109/9.412626 – ident: ref20 doi: 10.1109/ICSMC.1998.725394 – ident: ref19 doi: 10.1016/j.sysconle.2009.11.004 – ident: ref36 doi: 10.1109/TASE.2010.2049841 – ident: ref42 doi: 10.1080/13873950500241479 – volume: 3098 start-page: 87 year: 2004 ident: ref49 publication-title: Lectures on Concurrency and Petri Nets doi: 10.1007/978-3-540-27755-2_3 – ident: ref46 doi: 10.1201/b11433-58 – volume: 14 start-page: 609 year: 2006 ident: ref41 article-title: Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem publication-title: Control Eng Practice doi: 10.1016/j.conengprac.2005.03.028 – ident: ref5 doi: 10.1201/b11433-62 – ident: ref37 doi: 10.1109/9.855548 – ident: ref16 doi: 10.1109/TSMCA.2011.2169950 – volume: 2469 start-page: 205 year: 2002 ident: ref40 publication-title: Formal Techniques in Real-Time and Fault-Tolerant Systems doi: 10.1007/3-540-45739-9_14 – ident: ref27 doi: 10.1016/j.artint.2005.01.002 – volume: 48 start-page: 1199 year: 2003 ident: ref9 article-title: Fault diagnosis in discrete-event systems: Framework and model reduction publication-title: IEEE Trans Autom Control doi: 10.1109/TAC.2003.814099 – ident: ref52 doi: 10.1109/TAC.2002.802763 – ident: ref50 doi: 10.1109/9.52290 – ident: ref13 doi: 10.1109/TAC.2003.811249 – ident: ref15 doi: 10.1007/s10626-009-0074-7 – ident: ref24 doi: 10.1016/j.matcom.2005.11.003 – ident: ref8 doi: 10.1007/s10626-005-2866-8 |
| SSID | ssj0024890 |
| Score | 2.1254935 |
| Snippet | For the complex systems, the development of a methodology of fault diagnosis is important. Indeed, for such systems, an efficient diagnosis contributes to the... |
| SourceID | hal proquest crossref ieee |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1101 |
| SubjectTerms | Algorithm design and analysis Algorithms Automata Automatic Complex systems Diagnosers Discrete event systems Engineering Sciences Fault detection Fault diagnosis Maintenance costs modular modeling software implementation timed automaton |
| Title | Modular Modeling for the Diagnostic of Complex Discrete-Event Systems |
| URI | https://ieeexplore.ieee.org/document/6416097 https://www.proquest.com/docview/1441056099 https://hal.science/hal-00787538 |
| Volume | 10 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-3783 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0024890 issn: 1545-5955 databaseCode: RIE dateStart: 20040101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LSwMxEB5aT3rwVcX6IognMe12s3nssWhLEetFhd6WTTaLoLSirYi_3pndbS0q4m0JCWQzeXyTfPMNwKlTNvMutDwWKudRnkbcOh3zVKYq9z430lHs8PBGDe6jq5Ec1eB8EQvjvS_IZ75Fn8VbfjZxM7oqaytED0Gs61DXRpWxWl-6eqa4TyFEwGUsZfWC2Qni9l33tkckrrBFyas1ZY5dOoPqD8SALFKr_NiPi0OmvwHDefdKbsljaza1LffxTbnxv_3fhPUKbbJuOT22oObH27C2pEHYgN5wkhEVlVFWNIpNZwhjGcJCdlmy8LApm-SMNo4n_46luNEg0uY9YkqySvF8B-77vbuLAa9yK3AnQj3l1tg8z6QW1qadWDqBOEkY0n7BQ9_icOrcG-MCLwR6YMpop7IgSoVKdehkKsUurIwnY78HTKqMSmQkMht5q6zJAgpoRWCFfxuFTQjmo524Snic8l88JYUDEsQJGSghAyWVgZpwtmjyXKpu_FX5BE24qEd62YPudUJlBIDQHzNvnSY0yB6LWpUpmnA4t3hSLd7XhHxMxIWInfd_b3UAqyFlxSg4fYewMn2Z-SPEJlN7XEzKT5Ke3WU |
| linkProvider | IEEE |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LTxsxEB4FegAOtLxEgBar4oRw2Kwf6z1GbVAKSS5NpNystdcrJFCC2qSq-PXM7G4CAlT1trJsae3x4xv7m28Azrx2efCx46nQBZdFJrnzScozlekihMIoT7HDg6HujeX1RE0acLGKhQkhlOSz0KLP8i0_n_kFXZVdakQPUZqswQclpVRVtNazsp4pb1QIE3CVKlW_Ybaj9HLU-dklGlfcovTVCeWOfXEKrd0SB7JMrvJmRy6PmauPMFj-YMUuuWst5q7lH19pN_5vDz7Bdo03WaeaIDvQCNNd2HqhQrgH3cEsJzIqo7xoFJ3OEMgyBIbse8XDw6ZsVjDaOu7DXyzFrQaxNu8SV5LVmuf7ML7qjr71eJ1dgXsRJ3PujCuKXCXCuaydKi8QKQlD6i947DsczqQIxvgoCIE-mDaJ13kkM6GzJPYqU-IA1qezaTgEpnROJUqK3MngtDN5RCGtCK2wtzJuQrQcbetr6XHKgHFvSxckSi0ZyJKBbG2gJpyvmjxUuhv_qvwVTbiqR4rZvU7fUhlBIPTIzJ92E_bIHqtatSmacLK0uK2X729LXiYiQ0TPR--3OoWN3mjQt_0fw5tj2IwpR0bJ8DuB9fmvRfiMSGXuvpQT9AlYTuCy |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Modular+Modeling+for+the+Diagnostic+of+Complex+Discrete-Event+Systems&rft.jtitle=IEEE+transactions+on+automation+science+and+engineering&rft.au=Gascard%2C+Eric&rft.au=Simeu-Abazi%2C+Zineb&rft.date=2013-10-01&rft.pub=IEEE&rft.issn=1545-5955&rft.volume=10&rft.issue=4&rft.spage=1101&rft.epage=1123&rft_id=info:doi/10.1109%2FTASE.2012.2229707&rft.externalDocID=6416097 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1545-5955&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1545-5955&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1545-5955&client=summon |