Optimal specification of a receiver blocks from global specifications: Example of IEEE 802.15.4. - Papy Ndungidi; Ursula Dongmo; Fortunato Dualibe; Carlos Valderrama 001 (ICECS, 2010)