Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Bildinformationen anzeigen

2010

Gernot Gräfe, Birgit Plaßmann: Open Innovation und andere Organisationsformen für Innovationsprojekte im Vergleich. C-LAB Report, Vol. 9 (2010) No. 01, ISSN 1619-7879 (2010) 

Florian Klompmaker, Karsten Nebe, Andreas Bleiker, Clemens Busch, Detlev Willemsen: 
User Centered Design of Patient User Interfaces for Remote Training Supervision. Third International Conference on Health Informatics (HEALTHINF 2010), Jan. 2010, Springer (Best Paper Award) (2010) 

Marcio F. S. Oliveira, Henning Zabel, Wolfgang Müller: 
Assertion-Based Verification of RTOS Properties. Proceedings of DATE 2010, Dresden, Germany (2010) 

Thomas Bierhoff, J. Duis, M. Halter, F. Betschon, W. Rietveld, Jürgen Schrage: 
All optical pluggable board-backplane interconnection system based on an MPX-FlexTail connector solution. IEEE Photonics Society, Proceedings of Winter Topicals 2010, Majorca, Spain (2010) 

Sven Ahlheid, Gernot Gräfe, Florian Roehr: 
Technologie als Treiber hybrider Wertschöpfung: Einführung in die Problemstellung. Management hybriber Wertschöpfung - Potenziale, Perspektiven und praxisorientierte Beispiele, Walter Ganz & Bernd Bienzeisler (Hrsg.), Fraunhofer Verlag, Stuttgart (2010) 

Oliver Stübbe: Modellierungsverfahren für die zeiteffiziente Simulation von optischen Verbindungen auf Leiterplattenebene. C-LAB Publication Band 33; Herausgeber: Dr. Wolfgang Kern und Prof. Dr. Franz-Josef Rammig; Shaker Verlag; ISBN-10: 3832291393; ISBN-13: 978-3832291396 (2010) 

Henning Zabel: Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen. C-LAB Publication Band 32; Herausgeber: Dr. Wolfgang Kern und Prof. Dr. Franz-Josef Rammig; Shaker Verlag; ISBN-10: 1438-3527; ISBN-13: 978-3-8322-9092-4 (2010) 

H. Schröder, Thomas Bierhoff, D. Craiovan: Anforderungen und Lösungen zur hochpräzisen optoelektrischen und mikrooptischen Montage auf Baugruppeträgern. SMT/Hybrid/Packaging 2010 - Tutorial, Nürnberg, Germany. (2010) 

Christoph Rasche, Claudius Stern, Willi Richert, Lisa Kleinjohann, Bernd Kleinjohann: 
Combining Autonomous Exploration, Goal-Oriented Coordination and Task Allocation in Multi-UAV Scenarios. International Conference on Autonomic and Autonomous Systems (ICAS 2010), IEEE Xplore (2010) 

Marcio F. S. Oliveira, Marco Wehrmeister, C. E. Pereira, Franz-Josef Rammig, Wagner: 
Model-Driven Engineering for Embedded Systems. First Brazilian-German Workshop on Nano-Microelectronics, Porto Alegre, Brasilien (2010) 

Marcio F. S. Oliveira, Francisco Nascimento, Wolfgang Müller, Wagner: 
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MomPES), Antwerp, Belgium (2010) 

Wolfgang Müller, Marcio F. S. Oliveira, Henning Zabel, Markus Becker: 
Verification of Real-Time Properties for Hardware-Dependant Software. Proc. of IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, USA (2010) 

Sven Ahlheid, Gernot Gräfe, Alexander Krebs, Jan-Philipp Müller, F. Kuhlmann: 
Ansätze zur Validierung semantischer Informationstripel auf einer Web 2.0-Wissensplattform. Meißner, K. / Engelien, M. (Hrsg.): Virtual Enterprises, Communities & Social Networks - Workshop GeNeMe’10 (Gemeinschaften in Neuen Medien), Dresden, Germany; TUDpress, S. 95-106 (2010) 

Kay Klobedanz, Gilles Bertrand Gnokam Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi: 
Task Migration for Fault-Tolerant FlexRay Networks. M. Hinchey, B. Kleinjohann, L. Kleinjohann, P. Lindsay, F. Rammig, J. Timmis, M. Wolf, (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), S. 55-66, Brisbane, Australia, 20. - 23. September (2010) 

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz-Josef Rammig, Jon Timmis, Marilyn Wolf: 
Distributed, Parallel and Biologically Inspired Systems. 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010. IFIP Advances in Information and Communication Technology, Band 329, Springer Verlag, Brisbane, Springer Verlag (2010) 

Jörg Stöcklein, Mario Bolte, Florian Klompmaker, Christian Geiger, Karsten Nebe: Interaktive Illustration heuristischer Optimierungsverfahren zur Wegeplanung. Augmented & Virtual Reality in der Produktentstehung, 10. - 11. Jun. 2010 Heinz Nixdorf Institut, Heinz Nixdorf Institut, Universität Paderborn (2010) 

Tao Xie, Gilles Bertrand Gnokam Defo, Wolfgang Müller: 
An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris (2010) 

Claudius Stern, Philipp Adelt, Matthias Schmitz, Bernd Kleinjohann, Lisa Kleinjohann: 
Multi-microcontroller Systems. M. Hinchey, L. Kleinjohann, B. Kleinjohann, P. Lindsay, F.J. Rammig, J. Timmis, M. Wolf, (Hrsg.) Proceedings of Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 (2010) 

Alexander Jungmann, Claudius Stern, Lisa Kleinjohann, Bernd Kleinjohann: 
Increasing Motion Information by Using Universal Tracking of 2D-Features. Proceedings of the 8th IEEE International Conference on Industrial Informatics (INDIN), S. 511-516, Osaka, Japan, 13. - 16. Jul. 2010 IEEE, IEEE Xplore (2010) 

Christoph Kuznik, Gilles Bertrand Gnokam Defo, Wolfgang Müller: 
Verification of a CAN bus model in SystemC with functional coverage. International Symposium on Industrial Embedded Systems (SIES), S. 28-35, 7. - 9. Jul. 2010 IEEE (2010) 

Kay Klobedanz, Gilles Bertrand Gnokam Defo, Wolfgang Müller, Timo Kerstan: 
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings of the fifth IEEE Symposium on Industrial Embedded Systems (SIES2010), 7. - 9. Jul. 2010, IEEE (2010) 

Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegelel, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitros Kritharidis, Florent Azcarate, Manuel Carballeda: 
The SATURN Approach to SysML-Based HW/SW Codesign. IEEE Computer Society Annual Symposium on VLSI, Jul. 2010 (2010) 

Franz-Josef Rammig, Sufyan Samara, Yuhong Zhao: 
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. Distributed, Parallel and Biologically Inspired Systems, IFIP Advances in Information and Communication Technology, Band 329, S. 102-113. Springer Boston (2010) 

Markus Becker, Henning Zabel, Wolfgang Müller: 
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Kleinjohann, Lisa; Kleinjohann, Bernd (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep. 2010 DIPES 2010, Springer Verlag (2010) 

Niko Prüßner, Willi Richert, Achim Rettberg, Christoph Rasche: 
ACTION SELECTION FOR MULTI-SMDP BASED ROBOTS WITH DYNAMICALLY PRIORITIZED GOALS. International Conference Intelligent Systems and Agents (ISA 2010), S. 8, 29. - 31. Jul. 2010, Freiburg, Germany (2010) 

Birgit Plaßmann, Gernot Gräfe: Organisationsformen in Innovationsprojekten. C. Maaß, W. Pietsch: Online-Produktmanagement - Von der Idee zum Online-Produkt, München, Hanser-Verlag (2010) 

Tao Xie, Florian Letombe, Wolfgang Müller: Mutation-Analysis Directed Constrained Random Verification. Kleinjohann, Lisa; Kleinjohann, Bernd (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep. 2010 DIPES 2010, Springer Verlag (2010) 

Markus Becker, Wolfgang Müller, Tao Xie, G. Pravadelli, F. Fummi: 
RTOS-Aware Refinement for TLM2.0-based HW/SW Designs. Design, Automation and Test in Europe, Dresden, Germany, Mrz. 2010 DATE 2010 (2010) 

Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller: 
Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Design, Automation and Test in Europe, S. 642 - 645, Dresden, Germany (2010) 

Alexander Bol, Wolfgang Müller, Alexander Krupp: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, Mrz. 2010 MBMV 2010 (2010) 

Wolfgang Müller, Alexander Bol, O. Lundkvist: Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. Kleinjohann, Lisa; Kleinjohann, Bernd (Hrsg.) IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep. 2010 DIPES 2010, Springer Verlag (2010) 

Giovanni De Micheli, Wolfgang Müller: 
Proceedings of DATE (Design, Automation and Test in Europe) 2010. IEEE, Dresden, Germany (2010) 

Philipp Adelt, Mirko Rose, Natascha Esau: Hybride Planung zur Auswahl des optimalen RailCab-Verhaltens bezüglich der Umweltbedingungen und Streckeneigenschaften. 7. Paderborner Workshop "Entwurf mechatronischer Systeme", Band 272, Paderborn, Germany, Mrz. 2010, HNI Verlagsschriftenreihe, Paderborn (2010) 

Fabian Mischkalla, Da He, Wolfgang Müller: A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. M-BED Workshop at DATE, Dresden, Germany, Mrz. 2010 DATE 2010 (2010) 

Fabian Mischkalla, Da He, Wolfgang Müller: 
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Design, Automation and Test in Europe, Dresden, Germany, Mrz. 2010 DATE 2010 (2010) 

Alexander Krupp, Wolfgang Müller: 
A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE 2010, Mrz. 2010 (2010) 

Bernd Kleinjohann, Stefan Herbrechtsmeier, Ulrich Rückert: 
Demonstrating self-optimization using a heterogeneous robot group. Proceedings of the 8th IEEE International Conference on Industrial Informatics (INDIN), Osaka, Japan (2010) 

Klaus-Peter Wegge: 
Behinderte Menschen in einer nicht barrierefreien Gesellschaft. BITCOM, Forum Barrierefreiheit, Berlin (2010) 

Ch. Herzog, Klaus-Peter Wegge: BITKOM trifft den Behindertenbeauftragten der Bundesregierung. BITKOM-Infoline 8.2010 (2010) 

Brigitte Bornemann, Jan Entzminger, Arkadiusz M. Frydyada de Piotrowski, Petra Kowallik, Peter Rozek, Harald Weber, Constanze Weiland: Barrierefreiheit - Universelles Design. Fachschrift der German UPA, herausgegeben von der German UPA e.V. (2010) 

Michael Decker, Daniel Eichhorn, Emanuel Georgiew, Andreas Oberweis, Johannes Plaßmann, Thilo Steckel, Peter Stürzel: Modelling and Enforcement of Location Constraints in an Agricultural Application Scenario. Hans Weghorn, Jörg Roth and Pedro Isaías (Hrsg.): Proceedings of the International Conferences Informatics 2010, Wireless Applications and Computing 2010 and Telecommunications, Networks and Systems 2010, Freiburg, Deutschland, IADIS Press (2010) 

Martin Oczko, Annette Hillebrand, Fritz Meier, Stefan Faltus, Thang Tran, Michael Decker, Jochen Günther, Ralf Kunoth, Christoph Loeser, Thilo Steckel, Günther Diederich, Gudrun Tschirner-Vinke, Wolfgang Neifer, Matthias Müller, Ulli Münch: Leitfaden: IT- Sicherheit in mobilen Geschäftsprozessen. SimoBIT Arbeitsforums IT Sicherheit, www.simobit.de/documents/SimoBIT_Leitfaden__IT-Sicherheit.pdf (2010) 

Emanuel Georgiew, Johannes Plaßmann, Jens Wittrowski, Thilo Steckel: Robot to Business: Informationstechnisch gestützte Dienstleistungen in mobilen und verteilten Umgebungen – ein ganzheitlicher Ansatz. Lecture Notes in Informatics (LNI); 96 - 101; LNI P-175 "INFORMATIK 2010 - Service Science - Neue Perspektiven für die Informatik"; Leipzig, Deutschland (2010) 

Jens Wittrowski: Informationsaustausch zwischen mobilen Teilnehmern. C-LAB Report, Vol. 9 (2010) No. 03, ISSN 1619-7879 (2010) 

Anja Iseke, Birgit Plaßmann, Martin Schneider, Conrad Schulze-Bentrop: Group Faultlines in Interorganisaztional R&D Teams - A Fuzzy-Set . 14th International Workshop on Teamworking. September 2nd - (2010) 

Florian Klompmaker, Karsten Nebe: 
Towards 3D Multitouch Interaction & Widgets. Paper at the Interaction Technique Workshop at 1st International Joint Conference on Ambient Intelligence (AmI); Mâlaga, Spain (2010)

Florian Klompmaker, Karsten Nebe: 
2D vs. 3D: Interaktion mit und Visualisierung auf großflächigen interaktiven Displays. Workshop "Anforderungen und Lösungen für die Nutzung Interaktiver Displays im Kontext kollaborativer Arbeit" at Mensch und Computer, Duisburg, Germany (2010) 

Helge Jung, Karsten Nebe, Raupach, Florian Klompmaker: Kollaborative Interaktion mit geografischem Kartenmaterial auf Multi-Touch Displays. Paper at the workshop "Anforderungen und Lösungen für die Nutzung Interaktiver Displays im Kontext kollaborativer Arbeit at Mensch und Computer 2010", Duisburg, Germany (2010) 

Karsten Nebe, Schäl: Semantik in Tagging-Systemen: Ein unterstützender Ansatz. Poster at Mensch und Computer 2010, Duisburg, Germany (2010) 

Holger Fischer: Integration von Usability Engineering und Software Engineering: Evaluation und Optimierung eines ganzheitlichen Modells anhand von Konformitäts- und Rahmenanforderungen. University of Applied Science Cologne (2010) 

Holger Fischer, Siegfried Bublitz: 
Hydra-Smart-Metering-Demonstrator. C-LAB Report, Vol. 9 (2010) No. 05, ISSN 1619-7879 (2010) 

Yasin Sönmez, Gerd Mrozynski, Jürgen Schrage: 
Coupling behaviour of tapered highly multimodal dielectric waveguides as part of PCB-level optical interconnects. SPIE Photonics Europe Conference, Brussels (2010) 

Oliver Stübbe: Modellierungsverfahren für die zeiteffiziente Simulation von optischen Verbindungen auf Leiterplattenebene. C-LAB Report, Vol. 9 (2010) No. 07, ISSN 1619-7879 (2010) 

Natascha Esau: Emotionale Aspekte der Mensch-Roboter-Interaktion und ihre Realisierung in verhaltensbasierten Systemen. C-LAB Report, Vol. 9 (2010) No. 02, ISSN 1619-7879 (2010) 

Willi Richert: 
Learning and imitation in heterogeneous robot group. C-LAB Report, Vol. 9 (2010) No. 04, ISSN 1619-7879 (2010) 


H. Schröder, Thomas Bierhoff, D. Craiovan: Anforderungen und Lösungen zur hochpräzisen optoelektronischen und mikrooptischen Montage auf Baugruppenträgern. C-LAB Report, Vol. 9 (2010) No. 06, ISSN 1619-7879 (2010) 


Gregor Engels: Guest Editorial to the Special Section on MODELS 2007. In Software & Systems Modeling, vol. 9, no. 1, pp. 5-6. (2010) 


Fabian Christ, Jan-Christopher Bals, Gregor Engels, Christian Gerth, Markus Luckey: A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage. In J. Vitek (eds.): Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), M'alaga (Spain). Springer (Berlin/Heidelberg), LNCS, pp. 21-40 (2010) 


Gregor Engels, Stefan Sauer: A Meta-Method for Defining Software Engineering Methods. In G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel (eds.): Graph Transformations and Model-Driven Engineering. Springer (Berlin/Heidelberg), LNCS, pp. 411-440 (2010) 


Frank Salger, Gregor Engels, Alexander Hofmann: Assessments in Global Software Development: A Tailorable Framework for Industrial Projects. In W. Visser, I. Krüger (eds.): . ACM New York, NY, USA, pp. 29-38 (2010) 


Marianne Heinemann, Gregor Engels: Auswahl projektspezifischer Vorgehensstrategien. In O. Linssen, T. Greb, M. Kuhrmann, D. Lange, R. Höhn (eds.): Integration von Vorgehensmodellen und Projektmanagement. Shaker Verlag, pp. 132-142 (2010) 


Christian Gerth, Markus Luckey, Jochen Küster, Gregor Engels: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10). IEEE Computer Society, pp. 57-64 (2010) 


Jochen Küster, Christian Gerth, Gregor Engels: Dynamic Computation of Change Operations in Version Management of Business Process Models. In T. K\"uhne, B. Selic (eds.): Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'10). Springer (Berlin/Heidelberg), LNCS, pp. 201-216 (2010) 


Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Platzner: Engineering Self-Coordinating Software Intensive Systems. In Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research (FoSER '10). Association for Computing Machinery (ACM), pp. 321-324 (2010) 


Marianne Heinemann, Bettina Duwe, Gregor Engels: Enriching RUP with key success factors for large-scale custom software development projects. In M. Sihling, A. Rausch, J. Friedrich, M. Kuhrmann (eds.): Software & Systems Engineering Essentials (SEE) 2010. Technische Universität München, TUM-I1009, pp. 37-56 (2010) 


Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel: Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl. In G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel (eds.): Graph Transformations and Model-Driven Engineering. Springer (Berlin/Heidelberg), LNCS, pp. 1-5 (2010) 


Gregor Engels, Frank Salger: Knowledge Transfer in Global Software Development - Leveraging Acceptance Test Case Specifications. In In Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE), New Ideas and Emergent Results program, May 2010, Cape Town (South Africa). ACM New York, NY, USA, pp. 211-214 (2010) 


Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels: Precise Detection of Conflicting Change Operations using Process Model Terms. In D.C. Petriu, N. Rouquette, and Ø. Haugen (eds.): Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). Springer (Berlin/Heidelberg), LNCS, pp. 93-107 (2010) 


Frank Brüseke, Yavuz Sancar, Gregor Engels: Architecture-Driven Derivation of Performance Metrics. In Wagner, S.; Broy, M.; Deissenboeck, F. ; Münch, J.; Liggesmeyer, P. (eds.): Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '10), Paderborn, Germany. Technische Universität München (München, Germany), pp. 22-31 (2010) 


Frank Salger, Stefan Sauer, Gregor Engels, Andrea Baumann: Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments. In 5th IEEE International Conference on Global Software Engineering (ICGSE 2010). , pp. 336-341 (2010) 


Gregor Engels, Christian Soltenborn: Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling. In C. Ermel, H. Ehrig, F. Orejas, G. Taentzer (eds.): Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany). European Association of Software Science and Technology, Electronic Communications of the EASST, pp. 240-257 (2010) 


Yavuz Sancar, Frank Brüseke, Gregor Engels: Teststufenspezifische Qualitätsattribute für die Qualit\"atsbewertung von nichtfunktionalen Anforderungen. In Wagner, S.; Broy, M.; Deissenboeck, F. ; Münch, J.; Liggesmeyer, P. (eds.): Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '10), Paderborn, Germany. Technische Universität München (München, Germany), pp. 50-57 (2010) 


Yavuz Sancar, Frank Brüseke, Hendrik Voigt, Stefan Sauer, Gregor Engels: Towards Economical Software Release Recommendations. In ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS). , pp. 59-67 (2010) 


Gregor Engels, Markus Luckey, A. Pretschner, Ralf H. Reussner: Software Engineering 2010 - Workshop Proceedings (inkl. Doktoranden Symposium), Paderborn (Germany). In G. Engels, M. Luckey, A. Pretschner, R. Reussner (eds.): . Gesellschaft f\"ur Informatik (GI) (2010) 


Gregor Engels, Markus Luckey, Wilhelm Schäfer: Software Engineering 2010 - Proceedings, Paderborn (Germany). In G. Engels, M. Luckey, W. Sch\"afer (eds.): . Gesellschaft f\"ur Informatik (GI) (2010) 


Gregor Engels, Dimitris Karagiannis, Heinrich C. Mayr: Modellierung 2010, Klagenfurt (\"Osterreich). In Gregor Engels, Dimitris Karagiannis, Heinrich C. Mayr (eds.): . Gesellschaft f\"ur Informatik (GI) (2010) 


Sebastian Oster, Andreas Wübbeke, Gregor Engels, Andy Schürr: Model-Based Software Product Lines Testing Survey. In P. Mosterman, I. Schieferdecker, J. Zander (eds.): Model-Based Testing For Embedded Systems, pp. 339-381. CRC Press (2010)