\documentclass[12pt]{article}
\usepackage{amssymb,amsmath,latexsym,csquotes}
% Page length commands go here in the preamble
\setlength{\oddsidemargin}{-0.25in} % Left margin of 1 in + 0 in = 1 in
\setlength{\textwidth}{7in} % Right margin of 8.5 in - 1 in - 6.5 in = 1 in
\setlength{\topmargin}{-.75in} % Top margin of 2 in -0.75 in = 1 in
\setlength{\textheight}{9.2in} % Lower margin of 11 in - 9 in - 1 in = 1 in
\newtheorem{theorem}{Theorem}
\newtheorem{definition}{Definition}
\renewcommand{\baselinestretch}{1.5} % 1.5 denotes double spacing. Changing it will change the spacing
\setlength{\parindent}{0in}
\begin{document}
\title{paper}
\author{authorr}
\date{\today}
\maketitle
\abstract{\emph{ajsjdjffjjfjfjfjfjjjfjf.} }
\section{Introduction}
\quad The innovation and developing technology every now and then is increasing the complexity of real-time control applications and reactive systems. \\
However, the complexity of systems demands the notion of actions that can be suspended and resumed during their execution or control the progress of transitions. This requirement is fulfilled by several extensions .\\
The State Reachabilty for ÔStopwatch Petri netsÕ\ unlike TPNs is proven undecidable even if the net is bounded \cite{magnin2006decidability}. \\
\subsection{Coined Terms}
background:
\subsection{\emph{Dense-time Semantics}:}
fdfdg\\
\subsection{\emph{Discrete-time Semantics}:}
dsfsff\\
\subsection{\emph{Timed Bisimilarity}:}
gfgfgg\\
\section{References}
Michael Downes \emph{Short Math Guide for \LaTeX}, AMS, 2002\\[0.2in]
George Gratzer, \emph{First Steps in \LaTeX}, Springer-Verlag, New York, 1999\\[0.2in]
\bibliographystyle{plain}
\bibliography{ref for survey.bib}
\end{document}