Modeling and Verification of Real-time Systems, Formalisms and Software Tools, Wiley, John Wiley & Sons,Cybernetics and systems theory,Information theory, concepts; important; title; realtime systems; models; include; verification; formal; topics; realtime; mathematical; model checking; testing; approaches; experts; fields; respective; contributions; authors; art; reader; state,, , United States, en-UShttps://www.wiley.comconcepts; important; title; realtime systems; models; include; verification; formal; topics; realtime; mathematical; model checking; testing; approaches; experts; fields; respective; contributions; authors; art; reader; state, [BLURB],[CITY],,books, ebooks, biblet, Book2look