@article{Jensen_1998, title={Automated Modeling of Real-Time Implementation}, volume={5}, url={https://tidsskrift.dk/brics/article/view/19497}, DOI={10.7146/brics.v5i51.19497}, abstractNote={This paper describes ongoing work on the automatic construction<br />of formal models from Real-Time implementations. The model construction is based on measurements of the timed behavior of the threads of an implementation, their causal interaction patterns and external visible events. A specification of the timed behavior is modelled in timed automata and checked against the generated model in order to validate their timed behavior.}, number={51}, journal={BRICS Report Series}, author={Jensen, Peter Krogsgaard}, year={1998}, month={Jun.} }