Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory ConstraintsOussama Khlifi, Zheng Li, Olfa Mosbahi et al.|Iranian Journal of Science and Technology Transactions of Electrical Engineering|2018Cited by 8