Tom J. Kaźmierski & Adam Morawiec 
System Specification and Design Languages [PDF ebook] 
Selected Contributions from FDL 2010

Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors.- Evaluating Debugging Algorithms from a Qualitative Perspective.- Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks.- System C-A Modelling of Mixed-technology Systems with Distributed Behaviour.- A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems.- Bottom-up Verification for CMOS Photonic Linear Heterogeneous System.- Towards Abstract Analysis Techniques for Range Based System Simulations.- Modeling Time-triggered Architecture Based Real-time Systems Using System C.- Towards the Development of a Set of Transaction Level Models – A Feature-oriented Approach.- Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework.- Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code.- Architecture Specifications in Cλa SH.- Sy Re C: A Programming Language for Synthesis of Reversible Circuits.- Logical Time @ Work: Capturing Data Dependencies and Platform Constraints.- Formal Support for Untimed MARTE-System C Interoperability.