Issue No. 06 - November/December (2002 vol. 19)
<p>The Mescal project brings a formalized, disciplined methodology to the design of programmable platform-based systems, enabling the exploration of a wide array of architectures and a correct-by-construction path to implementation.</p>
K. Vissers et al., "Developing Architectural Platforms: A Disciplined Approach," in IEEE Design & Test of Computers, vol. 19, no. , pp. 6-16, 2002.