C
[CDM12] Franck Cassez, Jérémy Dubreil, and Hervé Marchand. Synthesis of opaque systems with static and dynamic masks. Formal Methods in System Design 40(1):88-115. Springer-Verlag, February 2012. 
@article{fmsd40(1)-CDM,
  author =              {Cassez, Franck and Dubreil, J{\'e}r{\'e}my and
                         Marchand, Herv{\'e}},
  title =               {Synthesis of opaque systems with static and dynamic
                         masks},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {40},
  number =              {1},
  pages =               {88-115},
  year =                {2012},
  month =               feb,
  doi =                 {10.1007/s10703-012-0141-9},
}
List of authors