Verifying Rollett's Proviso on Active Devices Under Arbitrary Passive Embeddings. - Sergio Colangeli; Walter Ciccognani; Mirko Palomba; Ernesto Limiti (IEEE Trans. Circuits Syst. II Express Briefs, 2017)