@article{
  author = {Baniardalani, Sobhi},
  title = {Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton},
  journal = {International Journal of Smart Electrical Engineering},
  year = {2018},
  volume = {7},
  number = {1},
  pages = {1-8},
  doi = {}
}