|
@article{Nae00, author = {Martin Naedele}, title = {An Approach to Modeling and Evaluation of Functional and Timing Specifications of Real-Time Systems}, journal = {Journal of Systems and Software}, number = {2}, pages = {155--174}, volume = {57}, year = {2000} }