APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study.

Matthew Anderson, Sandeep K. Shukla

Browse the full MEMOCODE paper archive.