[J92] Acampora R., Gigante N., Geatti L., Montanari A., and Picozzi V., "Controller Synthesis for Timeline-based Games", Logical Methods in Computer Science, Volume 20, Issue 3, August 27, 2024, pp. 17:1-17:30 (doi: doi.org/10.46298/lmcs-20(3:17)2024).
[J91] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis", Software and Systems Modeling, Volume 23, Issue 2, April 2024, pp. 427–453 (doi: doi.org/10.1007/s10270-023-01122-4).
[J90] Bozzelli L., Montanari A., Peron A., and Sala P. "The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete", Logical Methods in Computer Science, Volume 20, Issue 1, March 22, 2024, pp. 23:1–23:57 (doi: doi.org/10.46298/lmcs-20(1:23)2024).
[J89] Geatti L., Gigante N., Montanari A., and Venturato G., "SAT meets Tableaux for Linear Temporal Logic Satisfiability", Journal of Automated Reasoning, Volume 68, Issue 6, March 15, 2024 (doi: doi.org/10.1007/s10817-023-09691-1).
[J88] Bozzelli L., Montanari A., Peron A., and Sala P. "Pspace-completeness of the temporal logic of sub-intervals and suffixes", Information and Computation, Volume 294: 105083, 2023 (doi: doi.org/10.1016/j.ic.2023.105083).
[J87] Brunello A., Montanari A., and Saccomanno N., "Towards Interpretability in Fingerprint-based Indoor Positioning: May Attention Be With Us", Expert Systems With Applications, Volume 231: 120679, 30 November, 2023 (doi: doi.org/10.1016/j.eswa.2023.12067).
[J86] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "A first-order logic characterization of safety and co-safety languages", Logical Methods in Computer Science, Volume 19, Issue 3, August 10 2023, pp. 13:1–13:29.
[J85] Brunello A., Della Monica D., Montanari A., Saccomanno N., and Urgolo A., "Monitors that Learn from Failures: Pairing STL and Genetic Programming", IEEE Access, Volume 11, 2023, pp. 57349-57364 (doi: 10.1109/ACCESS.2023.3277620).
[J84] Bozzelli L., Montanari A., and Peron A., "Interval temporal logic for visibly pushdown systems", ACM Transactions on Computational Logic, Volume 24(3), July 2023, pp. 1-32 (doi: 10.1145/3583756).
[J83] Della Monica D., Montanari A., and Sala P., "An interval temporal logic characterization of extended omega-regular languages", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'21), Volume 962: 113929, June 22, 2023 (doi: 10.1016/j.tcs.2023.113929).
[J82] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "GR(1) is equivalent to R(1)", Infor- mation Processing Letters, Volume 179: 106319, January 2023 (doi: 10.1016/j.ipl.2022.106319).
[J81] Brunello A., Dalla Torre A., Gallo P., Gubiani D., Montanari A., and Saccomanno N., "Crowdsourced Reconstruction of Cellular Networks to serve Outdoor Positioning: Modeling and Analysis", MDPI Sensors, Volume 23(1), 352, 2023 (doi: 10.3390/s23010352).
[J80] Brunello A., Montanari A., Saccomanno N., "A Framework for Indoor Positioning including Building Topology", IEEE Access, Volume 10, 2022, pp. 114959-114974 (doi: 10.1109/ACCESS.2022.3218301).
[J79] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "Extended Bounded Response LTL: a New Safety Fragment for Efficient Reactive Synthesis", Formal Methods in System Design, Special Issue: Formal Methods in Computer-Aided Design (FMCAD'20), accepted for publication on August 29, 2021 (doi: 10.1007/s10703-021-00383-3).
[J78] Saccomanno N., Brunello A., Montanari A., "A Genetic Programming Approach to WiFi Fingerprint Meta-distance Learning", Pervasive and Mobile Computing, Volume 85:101681, September 2022, pp. 1-19.
[J77] Gigante N., Micheli A., Montanari A., and Scala E., "Decidability and Complexity of Action-Based Temporal Planning over Dense Time", Artificial Intelligence, Volume 307:103686, June 2022, pp. 1-20 (doi: 10.1016/j.artint.2022.103686).
[J76] Bernardini A., Brunello A., Gigli G. L., Montanari A., Saccomanno N., "OSASUD: A dataset of stroke unit recordings for the detection of Obstructive Sleep Apnea Syndrome", Scientific Data, Volume 9(177), April 2022 (doi: 10.1038/s41597-022-01272-y).
[J75] Saccomanno N., Brunello A., Montanari A., "What You Sense Is Not Where You Are: On the Relationships between Fingerprints and Spatial Knowledge in Indoor Positioning", IEEE Sensors Journal, Volume 22(6), March 15, 2022, pp. 4951-4961 (doi: 10.1109/JSEN.2021.3070098).
[J74] Brunello A., Marzano E., Montanari A., and Sciavicco G., "A combined approach to the analysis of speech conversations in a contact center domain", Arxiv, CoRR abs/2203.06396, March 12, 2022.
[J73] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P. "Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption", Logical Methods in Computer Science, Volume 18(1), February 2, 2022, pp. 1-24.
[J72] L. Bozzelli, A., Montanari A., Peron A., "Complexity issues for timeline-based planning over dense time under future and minimal semantics", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'20), Volume 901, 12 January 2022, pp. 87-113.
[J71] Montanari A., Sala P., "Reactive Syntesis from Interval Temporal Logic Specifications", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'20), Volume 899, 6 January 2022, pp. 48-79.
[J70] Bozzelli L., Montanari A., Peron A., "Complexity analysis of a unifying algorithm for model checking Interval Temporal Logic", Information and Computation, Special Issue: Temporal Representation and Reasoning (TIME'19), Volume 280: 104640, 2021.
[J69] Bernardini A., Brunello A., Gigli G. L., Montanari A., Saccomanno N., "AIOSA: An Approach to the Automatic Identification of Obstructive Sleep Apnea Events based on Deep Learning", Artificial Intelligence in Medicine, Volume 18, Article 102133, August 2021.
[J68] Geatti L., Gigante N., Montanari A., and Reynolds M., "One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past", Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'18), Volume 278: : 104599, June 2021.
[J67] Brunello A., Urgolo, A., Pittino, F., Montvay, A., and Montanari A., "Virtual sensing and sensors selection for efficient temperature monitoring in indoor environments", MDPI Sensors, Volume 21, 2728, April 2021.
[J66] Bozzelli L., Molinari A., Montanari A., Peron A., "Model Checking Interval Temporal Logics with Regular Expressions", Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'17), Volume 272, June 2020, pp. 1--34 (doi: 10.1016/j.ic.2019.104498),
[J65] Gigante N., Montanari A., Orlandini A., Cialdea Mayer M., and Reynolds A., "On timeline-based games and their complexity", Theoretical Computer Science, Special Issue: Temporal Representation and Reasoning (TIME'18), Volume 815, 2 May 2020, pp. 247-269 (doi: 10.1016/j.tcs.2020.02.011).
[J64] Bozzelli L., Molinari A., Montanari A., Peron, A., and Woeginger G., "Timeline-based planning over dense temporal domains", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'18), Volume 813, 12 April 2020, pp. 305-326 (doi:10.1016/j.tcs.2019.12.030).
[J63] Barozzini D., de Frutos-Escrig D., Della Monica D., Montanari A., and Sala P., "Beyond omega-regular languages: omegaT-regular expressions and their automata and logic counterparts", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'17), Volume 813, 12 April 2020, pp. 270-304 (doi:10.1016/j.tcs.2019.12.029).
[J62] Dalla Torre A., Gallo P. Gubiani D., Marshall C., Montanari A., Pittino F., and Viel A., "A map-matching algorithm dealing with sparse cellular fingerprint observations", Geo-spatial Information Science, Volume 22, n. 2, 2019, pp. 89-106.
[J61] Brunello A., Jimenez Bariounuevo F., Marzano, E., Montanari A., Sciavicco G., and Sanchez Carpena G., "Multi-Objective Evolutionary Feature Selection and Fuzzy Classification of Contact Center Data", Expert Systems, Volume 36, n. 3, 2019.
[J60] Bresolin D., Della Monica D., Montanari A., Sala P., and Sciavicco G., "Decidability and Complexity of the Fragments of the Modal Logic of Allen's Relations over the Rationals", Information and Computation, Volume 266, June 2019, pp. 97-125.
[J59] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P., "Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?", Theoretical Computer Science, Special Issue: Italian Conference on Theoretical Computer Science (ICTCS'16), Volume 764C, April 2019, pp. 125-144 (doi: 10.1016/j.tcs.2018.04.011).
[J58] Brunello A., Marzano, E., Montanari A., and Sciavicco G., "J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data", MDPI Computers, Volume 8, n. 1, March 2019.
[J57] Viel A., Brunello A., Montanari A., and Pittino F., "An original approach to positioning with cellular fingerprints based on decision tree ensembles", Journal of Location Based Services, Volume 13, n. 1, January 2019, pp. 25-52.
[J56] Bozzelli L., Molinari A., Montanari A., Peron A., Sala P., "Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison", ACM Transactions on Computational Logic, Volume 20(1), Article n. 4, January 2019.
[J55] Brunello A., Gallo P., Marzano, E., Montanari A., and Vitacolonna N., "An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers", Journal of Cases on Information Technology, 21(1), January-March 2019, pp. 33-51.
[J54] Bozzelli L., Molinari A., Montanari A., Peron A., and Sala P., "Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy", Information and Computation, Special Issue: International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'16), Volume 262, October 2018, pp. 241-264 (doi: 10.1016/j.ic.2018.09.006).
[J53] Molinari A., Montanari A., and Peron A., "Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives", Information and Computation, Special Issue: Temporal Representation and Reasoning (TIME'15), Volume 259, Part 3, April 2018, pp. 412-443.
[J52] Brunello A., Marzano, E., Montanari A., and Sciavicco G., "Decision Tree Pruning via Multi-Objective Evolutionary Computation", International Journal of Machine Learning and Computing, Vol. 7, n. 6, 2017, pp. 167-175.
[J51] Gams M., Cernic E., and Montanari A., "A Temporal Perspective on the Paradox of Pinocchio's Nose", INFORMATICA - An International Journal of Computing and Informatics, vol. 40, n. 3, The Slovene Society Informatika, Ljubljana, Slovenia, December 2016, pp. 365-368.
[J50] Montanari A., Pazzaglia M., and Sala P., "Metric Propositional Neighborhood Logic with an Equivalence Relation", Acta Informatica, Special Issue: Temporal Representation and Reasoning (TIME'14), Vol. 56, n. 6-8, October 2016, pp. 621-648 (doi: 10.1007/s00236-016-0256-3).
[J49] Molinari A., Montanari A., Murano A., Perelli G., and Peron A., "Checking Interval Properties of Computations", Acta Informatica, Special Issue: Temporal Representation and Reasoning (TIME'14), Vol. 56, n. 6-8, October 2016, pp. 587-619 (doi: 10.1007/s00236-015-0250-1).
[J48] Montanari A., Pazzaglia M., and Sala P., "Adding one or more equivalence relations to the interval temporal logic ABBbar", Theoretical Computer Science, vol. 629, May 2016, pp. 116–134 (doi: 10.1016/j.tcs.2015.11.030).
[J47] Aceto L., Della Monica D., Goranko V., Ingólfsdóttir A., Montanari A., and Sciavicco G., "A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases", Acta Informatica, Special Issue: Temporal Representation and Reasoning (TIME’13) - Part 2, vol. 53, n. 3, April 2016, pp. 207-246 (doi: 10.1007/s00236-015-0231-4).
[J46] Montanari A., Puppis G., and Sala P., "A decidable weakening of Compass Logic based on cone-shaped cardinal directions", Logical Methods in Computer Science, vol. 11(4:7), December 2015, pp. 1-32.
[J45] Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G., "Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity ", Theoretical Computer Science, vol. 560, n. 3, December 2014, pp. 269-291(doi: 10.1016/j.tcs.2014.03.033).
[J44] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "The dark side of Interval Temporal Logic: marking the undecidability border", Annals of Mathematics and Artificial Intelligence, vol. 71, n. 1-3, July 2014, pp. 41-83 (doi: 10.1007/s10472-013-9376-4).
[J43] Bresolin D., Della Monica D., Montanari A., Sciavicco G., "The Light Side of Interval Temporal Logic: the Bernays-Schoenfinkel fragment of CDT", Annals of Mathematics and Artificial Intelligence, vol. 71, n. 1-3, July 2014, pp. 11-39 (doi: 10.1007/s10472-013-9337-y).
[J42] Bresolin D., Montanari A., Sciavicco G., Sala P., "Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers". Theoretical Computer Science, vol. 493, July 2013, pp. 98-115 (doi: 10.1016/j.tcs.2012.10.043).
[J41] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Metric Propositional Neighborhood Logics on Natural Numbers". Software and Systems Modeling, vol. 12, n. 2, May 2013, pp. 245-264 (doi: 10.1007/s10270-011-0195-y).
[J40] Franceschet M., Gubiani D., Montanari A., Piazza C., "A graph-theoretic approach to map conceptual designs to XML schemas". ACM Transactions on Database Systems, vol. 38, n. 1, April 2013, pp. 6:1-44 (doi: 10.1145/2445583.2445589).
[J39] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers". Journal of Universal Computer Science, vol. 18, n. 20, December 2012, pp. 2798-2831 (doi: 10.3217/jucs-018-20).
[J38] Della Monica D., Goranko V., Montanari A., Sciavicco G., "Interval Temporal Logics: a Journey". Bulletin of the European Association for Theoretical Computer Science, number 105, October 2011, pp. 73-99.
[J37] Campagna D., Dovier A., De Rosa C., Montanari A., Piazza C., "Morphos Configuration Engine: the core of a commercial configuration system in CLP(FD)". Fundamenta Informaticae, vol. 105, n. 1-2, 2010, pp. 105-133, (doi: 10.3233/FI-2010-330).
[J36] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau-based decision procedures for the logics of subinterval structures over dense orderings", Journal of Logic and Computation, vol. 20, n. 1, 2010, pp. 133-166 (doi:10.1093/logcom/exn063, online since December 2008).
[J35] Bresolin D., Montanari A., Puppis G., "A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity", Acta Informatica, vol. 46, n. 5, 2009, pp. 331-360 (doi: 10.1007/s00236-009-0094-7, online since March 2009).
[J34] Bresolin D., Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions", Annals of Pure and Applied Logic, vol. 161, n. 3, 2009, pp. 289-304 (doi: 10.1016/j.apal.2009.07.003, online since July 2009).
[J33] Bresolin D., Montanari A., Sciavicco G., "An optimal decision procedure for Right Propositional Neighborhood Logic", Journal of Automated Reasoning, vol. 38, no. 1-3, 2007, pp. 173-199.
[J32] Dal Lago U., Montanari A., Puppis G., "Compact and Tractable Automaton-based Representations for Time Granularities". Theoretical Computer Science, vol. 373, 2007, pp. 115-141.
[J31] Montanari A., Peron A., Puppis G., "On the relationships between theories of time granularity and the monadic second-order theory of one successor", Journal of Applied Non-Classical Logics, vol. 16, no. 3-4, 2006, pp. 433-455.
[J30] Goranko V., Montanari A., Sala P., Sciavicco G., "A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation", Journal of Applied Logic, vol. 4, no. 3, 2006, pp. 305-330.
[J29] Franceschet M., Montanari A., Peron G., Sciavicco G., "Definability and decidability of binary predicates for time granularity", Journal of Applied Logic, vol. 4, no. 2, 2006, pp. 168-191.
[J28] Goranko V., Montanari A., Sciavicco G., "A Road Map of Interval Temporal Logics and Duration Calculi", Journal of Applied Non-Classical Logics, vol. 14, no. 1-2, 2004, pp. 9-54.
[J27] Franceschet M., Montanari A., de Rijke, M., "Model checking for combined logics with an application to mobile systems", Automated Software Engineering, Special Issue on Distributed and Mobile Software Engineering, Kluwer Academic Publishers, vol. 11, no. 3, June 2004, pp. 289-321.
[J26] Franceschet M., Montanari A., "Temporalized Logics and Automata for Time Granularity", Theory and Practice of Logic Programming, Special Issue on Verification and Computational Logic, vol. 4, no. 5, 2004.
[J25] Goranko V., Montanari A., and Sciavicco G., "Propositional Interval Neighborhood Temporal Logics", Journal of Universal Computer Science, vol. 9, no. 9, September 2003, pp. 1137-1167
[J24] Franceschet M., Montanari A.,"Time Granularities in Databases, Data Mining, and Temporal Reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review). The Computer Journal, vol. 45, no. 6, 2002,pp. 683-685.
[J23] Montanari A., Policriti A., Slanina M., Alternative Translation Techniques for Propositional and First-Order Modal Logics. Journal of Automated Reasoning, vol. 28, no. 4, Kluwer Academic Publishers, May 2002, pp. 397-415.
[J22] Montanari A., Peron A., Policriti A., Extending Kamp's Theorem to Model Time Granularity. Journal of Logic and Computation, vol. 12, no. 4, August 2002, pp. 641-678.
[J21] Franceschet M., Montanari A., "Branching within Time: an Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity". Research on Language and Computation, vol. 1, no. 3-4, Kluwer Academic Publishers, September 2003, pp. 229-263.
[J20] Franceschet M., Montanari A., "A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus". Annals of Mathematics and Artificial Intelligence, vol. 30, no. 1-4, Kluwer Academic Publishers, 2000, pp. 93-118.
[J19] Montanari A., Peron A., Policriti A., "The Taming (Timing) of the States". The Logic Journal of IGPL, vol. 8, no. 5, September 2000, pp. 681-699.
[J18] Cervesato I., Franceschet M., Montanari A., A Guided Tour Through some Extensions of the Event Calculus. Computational Intelligence, vol. 16, no .2, May 2000, pp. 307-347.
[J17] Chittaro L., Montanari A., Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches. Annals of Mathematics and Artificial Intelligence, vol. 28, no. 1-4, 2000, pp. 47-106.
[J16] Cervesato I., Montanari A., "A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants". Journal of Logic Programming, vol. 38, no. 2, February 1999, pp. 111-164.
[J15] Montanari A., Peron A. Policriti A., Theories of Omega-Layered Metric Temporal Structures: Expressiveness and Decidability. The Logic Journal of IGPL, vol. 7, no. 1, January 1999, pp. 79-102.
[J14] Cervesato I., Franceschet M., Montanari A. "The Complexity of Model Checking in Modal Event Calculi with Quantifiers". Electronic Transactions on Artificial Intelligence, vol. 2, no 1-2, January-June 1998, pp. 1-23 (http://www.ep.liu.se/ej/etai/1998/001/).
[J13] van Benthem J., D'Agostino G., Montanari A., Policriti A., Modal Deduction in Second-Order Logic and Set Theory - II. STUDIA LOGICA, vol. 60, no. 3, May 1998, pp. 387-420
[J12] Montanari A., Policriti A., "Temporal Logic. From Ancient Ideas to Artificial Intelligence, by Peter Ohrstrom and Per F.V. Hasle (book review)". Journal of Symbolic Logic, vol. 62, no. 3, September 1997, pp. 1044-1046.
[J11] Montanari A., de Rijke M., Two-Sorted Metric Temporal Logic. Theoretical Computer Science, vol. 183, no. 2, September 1997, pp. 187-214.
[J10] van Benthem J., D'Agostino G., Montanari A., Policriti A., Modal Deduction in Second-Order Logic and Set Theory - I. Journal of Logic and Computation, vol. 7, no. 2, April 1997, pp. 251-265 (a summary appeared in Mathematical Reviews 98c:03041).
[J9] Chittaro L., Montanari A., "Trends in Temporal Representation and Reasoning". The Knowledge Engineering Review, vol. 11, no. 3, September 1996, pp. 281-288.
[J8] Chittaro L., Montanari A., "Efficient temporal reasoning in the Cached Event Calculus". Computational Intelligence, vol. 12, no. 3, August 1996, pp. 359-382 (a summary appeared in Mathematical Reviews 97g:68207).
[J7] Montanari A., Policriti A., Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, vol. 37, n. 2, Spring 1996, pp. 260-282 (a summary appeared in Mathematical Reviews 97e:03014).
[J6] D'Agostino G., Montanari A., Policriti A., A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning, vol. 15, no. 3, 1995, pp. 317-337 (a summary appeared in mathematical Reviews 96j:03024).
[J5] Montanari A., Peressi E., Pernici B., "Object migration in temporal object-oriented databases", INFORMATICA - An International Journal of Computing and Informatics, vol. 18, no. 4, The Slovene Society Informatika, Ljubljana, Slovenia, December 1994, pp. 467-484.
[J4] Jensen C., Clifford J., Elmasri R., Gadia S., Hayes P., Jajodia S. (editors), Dyreson C., Grandi F., Kaefer W., Kline N., Lorentzos N., Mitsopoulos Y., Montanari A., et al.,"A Consensus Glossary of Temporal Database Concepts". SIGMOD Record, vol. 23, no. 1, March 1994, pp. 52-64.
[J3] Cervesato I., Montanari A., Provetti A., "On the Non-monotonic Behavior of Event Calculus for Deriving Maximal Time-Intervals". Interval Computations, vol. 1993/2, Institute for New Technologies, St. Petersburg - Moscow, 1993, pp. 83-119 (a summary appeared in Mathematical Reviews 95h:68022).
[J2] Ciapessoni E., Corsetti E., Montanari A., San Pietro P.,"Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems". Science of Computer Programming, Elsevier Science Publishers, vol.20, no.1-2, April 1993, pp. 141-171 (abstract in Zentralblatt fuer Mathematik 781:68083 and in Mathematical Reviews 94j:68193).
[J1] Corsetti E., Montanari A., Ratto E., "Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems". The Journal of Real-Time Systems, vol.3, no.2, Kluwer-Academic Publishers, June 1991, pp. 191-215.