development and formal verification of ttcan (en Inglés)

leen, gabriel · lap lambert academic publishing