@inproceedings{conf/fm/FuriaPR08,
	title = {Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.},
	author = {Carlo A. Furia and Matteo Pradella and Matteo Rossi},
	booktitle = {FM},
	crossref = {conf/fm/2008},
	editor = {Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere},
	pages = {132-147},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fm/fm2008.html#FuriaPR08},
	volume = {5014},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/24da77bc744c9cb3254bab18cc2a350f4/dblp},
	description = {dblp},
	date = {2008-06-09}, ee = {http://dx.doi.org/10.1007/978-3-540-68237-0_11}, isbn = {978-3-540-68235-6},
	keywords = {dblp }
}

@article{journals/corr/abs-0804-4383,
	title = {Practical Automated Partial Verification of Multi-Paradigm Real-Time Models},
	author = {Carlo A. Furia and Matteo Pradella and Matteo Rossi},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0804.html#abs-0804-4383},
	volume = {abs/0804.4383},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/29bf7de7f7904c18bed4dc90595f282d0/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0804.4383}, date = {2008-05-05},
	keywords = {dblp }
}

@inproceedings{conf/wsc/FioroniFZFPLS07,
	title = {Simulation of continuous behavior using discrete tools: ORE conveyor transport.},
	author = {Marcelo Moretti Fioroni and Luiz Augusto Gago Franzese and Caio Eduardo Zanin and José Fúria and Luciano de Toledo Perfetti and Donizeti Leonardo and Nilson Laudelino da Silva},
	booktitle = {Winter Simulation Conference},
	crossref = {conf/wsc/2007},
	editor = {Shane G. Henderson and Bahar Biller and Ming-Hua Hsieh and John Shortle and Jeffrey D. Tew and Russell R. Barton},
	pages = {1655-1662},
	publisher = {WSC},
	url = {http://dblp.uni-trier.de/db/conf/wsc/wsc2007.html#FioroniFZFPLS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2dea6e0f63bba2e321b8444e91665a997/dblp},
	description = {dblp},
	date = {2008-04-14}, ee = {http://doi.acm.org/10.1145/1351542.1351839}, isbn = {1-4244-1306-0},
	keywords = {dblp }
}

@inproceedings{conf/formats/FuriaR07,
	title = {On the Expressiveness of MTL Variants over Dense Time.},
	author = {Carlo A. Furia and Matteo Rossi},
	booktitle = {FORMATS},
	crossref = {conf/formats/2007},
	editor = {Jean-François Raskin and P. S. Thiagarajan},
	pages = {163-178},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/formats/formats2007.html#FuriaR07},
	volume = {4763},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/246ee0f33f036b09bf122873756d01dae/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-75454-1_13}, isbn = {978-3-540-75453-4}, date = {2007-09-20},
	keywords = {dblp }
}

@inproceedings{citeulike:1363770,
	title = {Modeling the Environment in Software-Intensive Systems},
	author = {Carlo A. Furia and Matteo Rossi and Dino Mandrioli},
	journal = {MiSE 07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2d7e68453af1d1ad3518138906a17a672/jenhork},
	description = {Citeulike 06/22/07},
	comment = {Formalize as much as possible.}, priority = {4}, citeulike-article-id = {1363770},
	keywords = {formal modeling re read }
}

@article{journals/tcs/FuriaRMM07,
	title = {Automated compositional proofs for real-time systems.},
	author = {Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti},
	journal = {Theor. Comput. Sci.},
	number = {3},
	pages = {164-184},
	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs376.html#FuriaRMM07},
	volume = {376},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/21d992958b401e41860b7d1df51fce4f2/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.tcs.2007.02.003}, date = {2007-05-09},
	keywords = {dblp }
}

@inproceedings{conf/formats/FuriaR06,
	title = {Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.},
	author = {Carlo A. Furia and Matteo Rossi},
	booktitle = {FORMATS},
	crossref = {conf/formats/2006},
	editor = {Eugene Asarin and Patricia Bouyer},
	pages = {215-229},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/formats/formats2006.html#FuriaR06},
	volume = {4202},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/220dcd66fc5c08d1f226966d25c206a4f/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11867340_16}, isbn = {3-540-45026-2}, date = {2006-10-23},
	keywords = {dblp }
}

@article{journals/tse/FuriaMPR06,
	title = {Comments on "An Interval Logic for Real-Time System Specification'.},
	author = {Carlo A. Furia and Angelo Morzenti and Matteo Pradella and Matteo Rossi},
	journal = {IEEE Trans. Software Eng.},
	number = {6},
	pages = {424-427},
	url = {http://dblp.uni-trier.de/db/journals/tse/tse32.html#FuriaMPR06},
	volume = {32},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/25782f012d8ae27370a7e44c776c186bb/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.50}, date = {2006-10-23},
	keywords = {dblp }
}

@article{journals/entcs/FuriaR05,
	title = {A Compositional Framework for Formally Verifying Modular Systems.},
	author = {Carlo A. Furia and Matteo Rossi},
	journal = {Electr. Notes Theor. Comput. Sci.},
	pages = {185-198},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs116.html#FuriaR05},
	volume = {116},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2ce30589796b4d010c7c1a1da5378e260/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2004.02.076}, date = {2005-05-13},
	keywords = {dblp }
}

@inproceedings{conf/fase/FuriaRMM05,
	title = {Automated Compositional Proofs for Real-Time Systems.},
	author = {Carlo A. Furia and Matteo Rossi and Dino Mandrioli and Angelo Morzenti},
	booktitle = {FASE},
	crossref = {conf/fase/2005},
	editor = {Maura Cerioli},
	pages = {326-340},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fase/fase2005.html#FuriaRMM05},
	volume = {3442},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2cebacd45c46f5c4648164defacc4003b/dblp},
	description = {dblp},
	ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=326}, isbn = {3-540-25420-X}, date = {2005-03-03},
	keywords = {dblp }
}