@article{Malinsk__2010,
    doi = {10.2478/v10178-010-0039-z},
    url = {https://doi.org/10.2478%2Fv10178-010-0039-z},
    year = {2010},
    month = {jan},
    publisher = {Polish Academy of Sciences Chancellery},
    volume = {17},
    number = {3},
    pages = {461--480},
    author = {Jan Malinsk{\'{y}} and Ji{\v{r}}{\'{\i}} Nov{\'{a}}k},
    title = {Verification of Flexray Start-Up Mechanism by Timed Automata},
    journal = {Metrology and Measurement Systems}
}

@article{Malinsk__2010, doi = {10.2478/v10178-010-0039-z}, url = {https://doi.org/10.2478%2Fv10178-010-0039-z}, year = {2010}, month = {jan}, publisher = {Polish Academy of Sciences Chancellery}, volume = {17}, number = {3}, pages = {461--480}, author = {Jan Malinsk{\'{y}} and Ji{\v{r}}{\'{\i}} Nov{\'{a}}k}, title = {Verification of Flexray Start-Up Mechanism by Timed Automata}, journal = {Metrology and Measurement Systems} }