Supports pour le cours de « Modélisation Transactionnelle des Systèmes sur Puces »