. Topcased,

P. H. Feiler, D. P. Gluch, and J. J. Hudak, The Architecture Analysis & Design Language (AADL): An Introduction

L. Sagaspe, G. Bel, P. Bieber, F. Boniol, and C. Castel, Safe Allocation of Shared Avionics Resources, High Assurance System Engineering (HASE), 2005.

N. Eén and N. Sörensson, An Extensible SAT-solver, SAT'03 proceedings, 2003.

. Alloy,

S. Kanajan, C. Pinello, H. Zeng, and A. Sangiovannivincentelli, Exploring Trade-offsBetween Centralized versus Decentralized Automotive Architectures Using a Virtual Integration Environment, 2006.

, IEEE/ACM Design Automation and Test in Europe Conference and Exposition (DATE 2006), 2006.

C. Guettier and J. Hermant, Static Mapping of Hard Real-Time Applications Onto Multi-Processor Architectures Using Constraint Logic Programming, CPPS 2005, Workshop on Constraint Programming for Planning and Scheduling, held in conjunction with the 15th AAAI International Conference on Automated Planning and Scheduling, pp.6-10

J. , , pp.20-28, 2005.