Article Title Here In Title Case (Alt+A)

Subtitle In Title Case (Optional)(Alt+S)

ABSTRACT
The Atlantis Press Proceedings article template has many predefined paragraph styles for you to use/apply as you
write your paper. To format your abstract, use the Microsoft Word template style: [Abstract]. Each paper must include
an abstract. Begin the abstract with the title “Abstract” in bold font, followed by a paragraph with normal 10-point
font. Do not cite references in the abstract. Please do not place or cite tables and figures in the abstract either.

Keywords: Keywords are your own designated keywords separated by commas (“,”). Keyword 1, Keyword
2, Keyword 3, Keyword 4.

1. FIRST LEVEL HEADING (HEAD 1) to designate with a certain style, and then select the
appropriate name on the Style menu. The style will
The body text starts with a standard first-level adjust your fonts and line spacing. Use italics for
heading like INTRODUCTION or any other heading emphasis; do not underline. To insert images in Word,
suitable to the content and context. First level headings position the cursor at the insertion point and either use
are in all caps. Copy the content and replace it for other Insert | Picture | From File or copy the image to the
first-level headings in remaining text. Reference Windows clipboard.
citations should be within square bracket [1]. Headings
should always be followed by text. 1.1.1. Third Level Heading (Head 3)
This template, modified in MS Word 2007 and
Headings may be numbered or unnumbered (“1
saved as a “Word 97-2003 Document” for the PC,
Introduction” and “1.2 Numbered level 2 head”), with
provides authors with most of the formatting
no ending punctuation. As demonstrated in this
specifications needed for preparing electronic versions
document, the initial paragraph after a heading is not
of their papers. All standard paper components have
indented.
been specified for three reasons: (1) ease of use when
formatting individual papers, (2) automatic compliance
1.1.1.2. Fourth Level Heading
to electronic requirements that facilitate the concurrent
or later production of electronic products, and (3) This is a fourth level heading. You can replicate it
conformity of style throughout a conference where suitable.
proceedings.
2. STYLE PALETTE
1.1. Second Level Heading (Head 2)
Styles can be applied using the style palette
First, confirm that you have the correct template for available within the template. To activate it the press
your paper size. This template has been tailored for Ctrl+Shift+s. Apply the style as required based on the
output on the A4 paper size. content and context. (Please don’t highlight your text in
In this template, the “Styles” menu should be used to yellow.)
format your text if needed. Highlight the text you want
3. MATH AND EQUATIONS MSWord. The font in the row header should be bold and
you can use the style available from the style palette.
Scalar variables and physical constants should be
italicized, and a bold (non-italics) font should be used AUTHORS’ CONTRIBUTIONS
for vectors and matrices. Do not italicize subscripts
unless they are variables. Equations should be either The title "AUTHORS’ CONTRIBUTIONS" should
display (with a number in parentheses) or inline. Use the be in all caps.
built-in Equation Editor or MathType to insert complex
equations. ACKNOWLEDGMENTS
Display equations should be flush left and numbered The title "ACKNOWLEDGMENTS" should be in
consecutively, with equation numbers in parentheses all caps and should be placed above the references. The
and flush right. First, use the equation editor to create references should be consistent within the article and
the equation. Then, select the equation, and set the follow the same style. List all the references with full
“Equation” Style. Press the tab key and type the details.
equation number in parentheses.
REFERENCES
[1] E.M. Clarke, E.A. Emerson, Design and synthesis
(1) of synchronization skeletons using branching time
temporal logic, in: D. Kozen (Eds.), Workshop on
Logics of Programs, Lecture Notes in Computer
(2)
Science, vol. 131, Springer, Berlin, Heidelberg,
Be sure the symbols in your equation have been
1981, pp. 52–71. DOI:
defined before the equation appears or immediately
https://doi.org/10.1007/BFb0025774
following. Please refer to “Equation (1),” not “Eq. (1)”
or “equation (1).” [2] J.P. Queille, J. Sifakis, Specification and
verification of concurrent systems in CESAR, in:
4. FIGURES AND TABLES M. Dezani-Ciancaglini and U. Montanari (Eds.),
Proceedings of the 5th International Symposium on
Figures and tables should be placed either at the top Programming, Lecture Notes in Computer Science,
or bottom of the page and close to the text referring to
vol. 137, Springer, Berlin, Heidelberg, 1982, pp.
them if possible.
337–351. DOI: https://doi.org/10.1007/3-540-
11494-7_22
[3] C. Baier, J-P. Katoen, Principles of Model
Checking, MIT Press, 2008.
[4] M. Kwiatkowska, G. Norman, D. Parker,
Stochastic model checking, in: M. Bernardo, J.
Hillston (Eds.), Proceedings of the Formal
Methods for the Design of Computer,
Figure 1 Caption content. The title “Figure” and the
Communication and Software Systems:
label should be in bold.
Performance Evaluation (SFM), Springer, Berlin,
For small tables, please place it within a column and Heidelberg, 2007, pp. 220–270. DOI:
bigger table be placed in a text frame spanning to both https://doi.org/10.1007/978-3-540-72522-0_6
columns. Use the Table facility available within the
Table 1. Short cut keys for the template
Styles Shortcuts Styles Shortcuts
Article-Title Alt+A Head 2 Ctl+2
Author-Name Alt+N Head 3 Ctl+3
Affiliation Alt+L Head 4 Ctl+4
Corresponding Alt+C ListBullet Alt+U
Abstract Alt+B ListNumbered Alt+Ctl+N
Key words Alt+K Table foot Alt+Ctl+F
Equation Alt+E Fig caption Alt+G
Para Alt+P Acknowledgment Alt+W
Head 1 Ctl+1 Reference title Alt+T
Reference item Alt+R
[5] V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, [9] A. Pnueli, In transition from global to modular
Automated verification techniques for probabilistic temporal reasoning about programs, in: K.R. Apt
systems, in: M. Bernardo, V. Issarny (Eds.), (Ed.), Logics and Models of Concurrent Systems,
Proceedings of the Formal Methods for Eternal Springer, Berlin, Heidelberg, 1984, pp. 123–144.
Networked Software Systems (SFM), Springer, DOI: https://doi.org/10.1007/978-3-642-82453-1_5
Berlin, Heidelberg, 2011, pp. 53–113. DOI:
[10] B. Meyer, Applying "Design by Contract",
https://doi.org/10.1007/978-3-642-21455-4_3
Computer 25(10) (1992) 40–51. DOI:
[6] G.D. Penna, B. Intrigila, I. Melatti, E. Tronci, M.V. https://doi.org/10.1109/2.161279
Zilli, Bounded probabilistic model checking with
[11] S. Bensalem, M. Bogza, A. Legay, T.H. Nguyen, J.
the muralpha verifier, in: A.J. Hu, A.K. Martin
Sifakis, R. Yan, Incremental component-based
(Eds.), Proceedings of the Formal Methods in
construction and verification using invariants, in:
Computer-Aided Design, Springer, Berlin,
Proceedings of the Conference on Formal Methods
Heidelberg, 2004, pp. 214–229. DOI:
in Computer Aided Design (FMCAD), IEEE Press,
https://doi.org/10.1007/978-3-540-30494-4_16
Piscataway, NJ, 2010, pp. 257–256.
[7] E. Clarke, O. Grumberg, S. Jha, et al.,
[12] H. Barringer, C.S. Pasareanu, D. Giannakopolou,
Counterexample-guided abstraction refinement, in:
Proof rules for automated compositional
E.A. Emerson, A.P. Sistla (Eds.), Computer Aided
verification through learning, in Proc. of the 2nd
Verification, Springer, Berlin, Heidelberg, 2000,
International Workshop on Specification and
pp. 154–169. DOI:
Verification of Component Based Systems, 2003.
https://doi.org/10.1007/10722167_15
[13] M.G. Bobaru, C.S. Pasareanu, D. Giannakopoulou,
[8] H. Barringer, R. Kuiper, A. Pnueli, Now you may
Automated assume-guarantee reasoning by
compose temporal logic specifications, in:
abstraction refinement, in: A. Gupta, S. Malik
Proceedings of the Sixteenth Annual ACM
(Eds.), Proceedings of the Computer Aided
Symposium on the Theory of Computing (STOC),
Verification, Springer, Berlin, Heidelberg, 2008,
ACM, 1984, pp. 51–63. DOI:
pp. 135–148. DOI: https://doi.org/10.1007/978-3-
https://doi.org/10.1145/800057.808665
540-70545-1_14