APPEARANCE OF PERSISTENT SCATTERERS FOR DIFFERENT TERRASAR-X ACQUISITION MODES

Similar documents
DEMONSTRATION OF TERRASAR-X SCANSAR PERSISTENT SCATTERER INTERFEROMETRY

SAR Data Analysis: An Useful Tool for Urban Areas Applications

ERS-ENVISAT Cross-interferometry for Coastal DEM Construction

Dr. Simon Plank. German Remote Sensing Data Center (DFD), German Aerospace Center (DLR)

DEM GENERATION AND ANALYSIS ON RUGGED TERRAIN USING ENVISAT/ASAR ENVISAT/ASAR MULTI-ANGLE INSAR DATA

The Tohoku Earthquake 2011 Case.

GLOBAL FOREST CLASSIFICATION FROM TANDEM-X INTERFEROMETRIC DATA: POTENTIALS AND FIRST RESULTS

Terrafirma Persistent Scatterer Processing Validation

VALIDATION OF THE PERMANENT SCATTERERS TECHNIQUE IN URBAN AREAS

Surface Deformation Measurements Scientific Requirements & Challenges

DIFFERENTIAL INSAR STUDIES IN THE BOREAL FOREST ZONE IN FINLAND

The Potential of High Resolution Satellite Interferometry for Monitoring Enhanced Oil Recovery

CHAPTER-7 INTERFEROMETRIC ANALYSIS OF SPACEBORNE ENVISAT-ASAR DATA FOR VEGETATION CLASSIFICATION

EasyChair Preprint. Height Accuracy and Data Coverage for the Final Global TanDEM-X DEM Data

Journal of Geodynamics

ERS-ENVISAT CROSS-INTERFEROMETRY SIGNATURES OVER DESERTS. Urs Wegmüller, Maurizio Santoro and Christian Mätzler

SAR interferometry Status and future directions. Rüdiger Gens

Analysis of the Temporal Behavior of Coherent Scatterers (CSs) in ALOS PalSAR Data

ANALYSIS OF ASAR POLARISATION SIGNATURES FROM URBAN AREAS (AO-434)

Advanced interpretation of land subsidence by validating multiinterferometric SAR data: the case study of Anthemountas basin (Northern Greece)

MAPPING DEFORMATION OF MAN-MADE LINEAR FEATURES USING DINSAR TECHNIQUE

APPLICABILITY OF PSINSAR FOR BUILDING HAZARD IDENTIFICATION

TEMPORAL VARIABILITY OF ICE FLOW ON HOFSJÖKULL, ICELAND, OBSERVED BY ERS SAR INTERFEROMETRY

PERSISTENT SCATTERER INTERFEROMETRY: POTENTIAL AND LIMITS

PROVENCE INTER-COMPARISON. Marta Agudo, Michele Crosetto Institute of Geomatics

ACHIEVING THE ERS-2 ENVISAT INTER-SATELLITE INTERFEROMETRY TANDEM CONSTELLATION.

MODELING INTERFEROGRAM STACKS FOR SENTINEL - 1

Retrieving 3D deformation pattern of a landslide with hiresolution InSAR and in-situ measurements: Just landslide case-study

Atmospheric Water Vapor Effect on GNSS Signals and InSAR Data

SCIAMACHY REFLECTANCE AND POLARISATION VALIDATION: SCIAMACHY VERSUS POLDER

Sentinel-1A SAR Interferometry Verification

DETECTION OF GROUND MOTION IN THE LISBON REGION WITH PERSISTENT SCATTERER INTERFEROMETRY (PSI)

Deformation measurement using SAR interferometry: quantitative aspects

Impact of the Envisat Mission Extension on SAR data

IOVWST Meeting, Sapporo/Japan, May 2016

Mapping small reservoirs in semi-arid regions using multitemporal SAR: methods and applications

Mitigation of Atmospheric Water-vapour Effects on Spaceborne Interferometric SAR Imaging through the MM5 Numerical Model

Impact of the Envisat Mission Extension on SAR data

SNOW MASS RETRIEVAL BY MEANS OF SAR INTERFEROMETRY

Application of advanced InSAR techniques for the measurement of vertical and horizontal ground motion in longwall minings

P079 First Results from Spaceborne Radar Interferometry for the Study of Ground Displacements in Urban Areas SUMMARY

CLOSE FORMATION FLIGHT OF PASSIVE RECEIVING MICRO-SATELLITES

COAL MINE LAND SUBSIDENCE MONITORING BY USING SPACEBORNE INSAR DATA-A CASE STUDY IN FENGFENG, HEBEI PROVINCE, CHINA

Long term performance monitoring of ASCAT-A

Ground deformation monitoring in Pearl River Delta region with Stacking D-InSAR technique

ALOS PI Symposium 2009, 9-13 Nov 2009 Hawaii MOTION MONITORING FOR ETNA USING ALOS PALSAR TIME SERIES

Model based forest height estimation with ALOS/PalSAR: A first study.

Radar Remote Sensing: Monitoring Ground Deformations and Geohazards from Space

DAMAGE DETECTION OF THE 2008 SICHUAN, CHINA EARTHQUAKE FROM ALOS OPTICAL IMAGES

IEEE GEOSCIENCE AND REMOTE SENSING LETTERS, VOL. 1, NO. 2, APRIL

Ice & Snow Session. Chairs: J. Mouginot & N. Gourmelen

On the Exploitation of Target Statistics for SAR Interferometry Applications

GEOMORPHOLOGICAL MAPPING WITH RESPECT TO AMPLITUDE, COHERENCEAND PHASE INFORMATION OF ERS SAR TANDEM PAIR

THREE DIMENSIONAL DETECTION OF VOLCANIC DEPOSIT ON MOUNT MAYON USING SAR INTERFEROMETRY

In order to obtain a long term monitoring result for the Kilauea Volcano, ALOS PALSAR images taken on Track 287, Frame 38, ascending orbit with 21.5 d

The financial and communal impact of a catastrophe instantiated by. volcanoes endlessly impact on lives and damage expensive infrastructure every

Constructing high-resolution, absolute maps of atmospheric water vapor by combining InSAR and GNSS observations

DETECTING ICE MOTION IN GROVE MOUNTAINS, EAST ANTARCTICA WITH ALOS/PALSAR AND ENVISAT/ASAR DATA

MEASUREMENT OF SURFACE DISPLACEMENT CAUSED BY UNDERGROUND NUCLEAR EXPLOSIONS BY DIFFERENTIAL SAR INTERFEROMETRY

J. Manuel Delgado (1,2), Roberto Cuccu (1), Giancarlo Rivolta (1)

Advanced Analysis of Differences between C and X Bands using SRTM Data for Mountainous Topography

Parametric Estimation and Model Selection based on Amplitude-only Data in PS-Interferometry. (How Many Lines or Points are There?)

Strategies for Measuring Large Scale Ground Surface Deformations: PSI Wide Area Product Approaches

Analysis of ERS Tandem SAR Coherence From Glaciers, Valleys, and Fjord Ice on Svalbard

Evaluation of subsidence from DinSAR techniques using Envisat-ASAR data at Toluca Valley Basin, Mexico.

InSAR, structural analyses and dating of Paka volcanic products, Northern Kenya Rift

Joint measurement of height and deformation by radar Interferometry: the example of the Eiffel Tower

WIND FIELDS RETRIEVED FROM SAR IN COMPARISON TO NUMERICAL MODELS

Snow Water Equivalent (SWE) of dry snow derived from InSAR -theory and results from ERS Tandem SAR data

RADAR Remote Sensing Application Examples

Product Quality README file for GOME Level 1b version 5.1 dataset

Landslide Monitoring in Three Gorges Area By Joint Use of Phase Based and Amplitude Based Methods

Application of PSI technique to slope stability monitoring in the Daunia mountains, Italy

Fulong Chen Nicola Masini, Jie Liu, Jiangbin You, Rosa Lasaponara MAEIC

Application of Net Present Benefit to InSAR Monitoring. Audrey K. Moruza, Virginia Transportation Research Council (VDOT)

POLARIMETRY-BASED LAND COVER CLASSIFICATION WITH SENTINEL-1 DATA

LAND COVER CLASSIFICATION BASED ON SAR DATA IN SOUTHEAST CHINA

The Orbit Control of ERS-1 and ERS-2 for a Very Accurate Tandem Configuration

Utilizing Persistent Scatterer Interferometry to Investigate the Nature and Factors Controlling Nile Delta Subsidence

Burst overlapping of ALOS-2 PALSAR-2 ScanSAR-ScanSAR interferometry

Airborne Holographic SAR Tomography at L- and P-band


Measuring rock glacier surface deformation using SAR interferometry

A HIGH RESOLUTION EUROPEAN CLOUD CLIMATOLOGY FROM 15 YEARS OF NOAA/AVHRR DATA

MONITORING MODERATE SLOPE MOVEMENTS (LANDSLIDES) IN THE SOUTHERN FRENCH ALPS USING DIFFERENTIAL SAR INTERFEROMETRY. Jan Vietmeier and Wolfgang Wagner

Slow Deformation of Mt. Baekdu Stratovolcano Observed by Satellite Radar Interferometry

SAR APPLICATIONS IN GREECE With emphasis for Harokopio University/ Dep. of Geography activities

Improved PSI Performance for Landslide Monitoring Applications. J. Duro, R. Iglesias, P. Blanco-Sánchez, F. Sánchez and D. Albiol

Monitoring of Deformations of Infrastructure Objects by Radar-Interferometry - Prerequisites, Potential and Limitations

Effect of Unmodelled Reference Frame Motion on InSAR Deformation Estimates

Implementation of Multi-Temporal InSAR to monitor pumping induced land subsidence in Pingtung Plain, Taiwan

Estimation of Velocity of the Polar Record Glacier, Antarctica Using Synthetic Aperture Radar (SAR)

PERSISTENT SCATTERER SAR INTERFEROMETRY APPLICATIONS ON LANDSLIDES IN CARPATHIANS (SOUTHERN POLAND)

EXTRACTION OF FLOODED AREAS DUE THE 2015 KANTO-TOHOKU HEAVY RAINFALL IN JAPAN USING PALSAR-2 IMAGES

Satellite-Based Estimates of River Runoff

A Radar Eye on the Moon: Potentials and Limitations for Earth Imaging

Application of satellite InSAR data for hydrocarbon reservoir monitoring

GEOGRAPHICAL DATABASES FOR THE USE OF RADIO NETWORK PLANNING

ALOS-2 Basic Observation Scenario (First Edition) January 10, 2014 JAXA/ALOS-2 Project

DLR s TerraSAR-X contributes to international fleet of radar satellites to map the Arctic and Antarctica

Transcription:

APPEARANCE OF PERSISTENT SCATTERERS FOR DIFFERENT TERRASAR-X ACQUISITION MODES Stefan Gernhardt a, Nico Adam b, Stefan Hinz c, Richard Bamler a,b a Remote Sensing Technology, TU München, Germany b Remote Sensing Technology Institute, DLR, Germany c Remote Sensing and Computer Vision, TH Karlsruhe, Germany Commission WG I/2, I/4, IV/2, IV/3, VII/2 KEY WORDS: TerraSAR-X, Persistent Scatterer, appearance, acquisition modes ABSTRACT: Since beginning of 2008 products of TerraSAR-X have been available for the scientific community and the great performance of this satellite system has been proven by encouraging results presented during the recent workshops and conferences. Outstanding technical features of TerraSAR-X are multiple geometric and radiometric imaging as well as the short revisiting time of 11 days. These offer the opportunity to build up data stacks of the same scene very fast and with varying acquisition parameters. Since February 2008 several of such datasets could be acquired for the city of Berlin, Germany, using different incidence angles and track types (i.e. ascending or descending orbits). A thorough analysis of compliances and differences in these data stacks is of particular importance for Persistent Scatterer Interferometry (PSI). While, in the past, data takes from the long-revisiting ERS and ENVISAT satellites had to be used with similar image acquisition parameters, now first TerraSAR-X data stacks each acquired with different parameters can be evaluated and compared. The extremely high resolution of up to 1.1 m in azimuth and 0.6 m in slant range leads to an enormous increase in the number of PS offering new potentials and applications. As different acquisition parameters for one scene are possible, the number and positions of the PS may vary from stack to stack. In this study the change in number and local appearance of PS depending on incidence angle and track type (ascending or descending orbit) are investigated. To this end, six stacks comprising varying parameters have been set up and assessed. The investigation is based on the results of PSI-GENESIS software developed at DLR, Oberpfaffenhofen, which relies on the TerraSAR-X Multi Mode SAR Processor, and includes the analysis of the PS candidates densities and positions with respect to the different parameters mentioned. Especially the question of selecting a suitable incidence angle for PS analysis in urban areas is discussed besides the choice of track type. 1. INTRODUCTION After the successful launch of TerraSAR-X on June 15th 2007 and the subsequent commissioning phase the German RADARsatellite went operational on January 9th 2008. Since this phase high resolution SAR data could be ordered by the scientific community using these high-quality SAR images for investigations on different topics. First results using TerraSAR-X data have already been presented during recent conferences where the benefits for different applications of this new instrument could be approved, like varying acquisition modes and the very short revisiting time of only 11 days. Especially the possibility to acquire data based on almost the same geometrical parameters with such a high repeat rate facilitates setting-up interferometric stacks for persistent scatterer interferometry (PSI) about three times faster compared to ERS or ENVISAT. These satellites in addition offered a resolution of only approximately 25m in range and 5m in azimuth wherefore it is very difficult to investigate the nature of strong scatterers, acting as persistent scatterer (PS), in this - comparatively large - resolution cell. Now, using TerraSAR-X in high resolution spotlight mode (300MHz bandwidth), image resolutions of up to 1.1m in azimuth and 0.6m in range can be delivered by the TerraSAR Multi Mode SAR Processor (TMSP) developed at Deutsches Zentrum für Luft- und Raumfahrt (DLR) [2, 4, 7]. This high resolution leads to an enormous increase in number of PS, as has already been shown in [1], now resulting in many PS showing up on single objects. As data can be acquired from the same area of interest using different orbits, position and number of PS are likely to vary between stacks of datasets based on different incidence angles as well as ascending and descending tracks respectively. For investigations on the influence of the mentioned parameters on PS density, six data stacks covering the area of Berlin downtown have been set up and the findings of the analysis will be presented in this paper, which include comparisons of the number of PS extracted in each stack and the variation of PS densities in different subregions of the data. Hence, based on the desired spreading and concentration of PS, the essential acquisition parameters for this region - and comparable ones - can be chosen in advance. 2. DATA BASIS The area of interest in this investigation has been defined to the inner city of Berlin, Germany, centered around the main railroad station. Altogether six different stacks of data takes (all in VV polarisation mode) have been acquired covering approximately one year starting February 2008. Table 1 shows the number of images in each stack which ranges from 16 up to 22 depending on the expired fraction of the orders, originating from overlaps in acquisition time slots of the satellite by other parties. The six stacks can be separated in two groups: one ascending and one descending track, each containing three

different beams, which imply certain incidence angles for data capture. The available angles are 30, 42 and 51 for ascending beams 28, 57 and 85 and 36, 47 and 55 for descending beams 42, 70 and 99 respectively, and represent appropriately the incidence angles of the acquisitions at the centre of the dataset. Due to these different viewing directions the covered area ranges from 33km 2 to 51km 2, whereas steep angles produce larger coverage than flat one. The given datasets of six groups represent the input for the following processing in order to obtain PS positions in each set of images. Beam no. Inc. Angle Track Type Area [km 2 ] No. of Data 28 30 Ascending 50.8 22 57 42 Ascending 40.7 15 85 51 Ascending 33.0 21 42 36 Descending 42.9 20 70 47 Descending 36.8 21 99 55 Descending 34.2 22 Table 1. Stack Acquisition Parameters 3. EXTRACTION OF PERSISTENT SCATTERERS In order to identify PS points in the area of interest, all stacks have been processed separately by using the interferometric and persistent scatterer processing system PSI-GENESIS of DLR. To meet the requirements of the data processing the SLC data is oversampled during import. In addition a digital elevation model (DEM) of the area is needed which has been extracted from existing shuttle radar topography mission (SRTM) data, which is usually sufficient for removing the phase contribution induced by terrain heights. Further steps include, among others, the selection of the master image, which has been chosen near the temporal mean in each stack, the necessary co-registration of the slave images to the master image and finally the calculation of the differential interferometric phase values and coherence for each pair between master and slave datasets. The consideration of the baseline between the acquisitions for the selection of the master image is non-critical, as baselines are kept relatively small by mission control (approximately smaller than 500m). Further details on the processing procedures can be found in [6]. Nonetheless, it should be mentioned that no further calibration of the input TerraSAR-X data is required in contrast to recent PSI processing of ERS or ENVISAT data. In order to obtain PS points a mean map and a subsequent signal-to-clutter ratio (SCR) map is calculated in each stack which represents the basis for the following PS detection. In the original PS algorithm presented in [3], scatterers are selected by choosing a threshold for the amplitude dispersion index. Another possibility shown in [5] considers the SCR as an appropriate selector for PS candidates. This has also been used in the investigations presented here, whereby the threshold was left unchanged for all stacks. Figure 1. PS density from different incidence angles using VV polarisation - ascending tracks in red, descending in black 4. PERSISTENT SCATTERER DENSITIES The locations of the detected PS are the basis for the following analyses. A first look on the total number of selected points normalized by the covered areas shows that the PS densities slightly increase starting with steep incidence angles up to about 42-47 while the decrease for higher angles is faster than the gain before (see Figure 1). This behaviour can be explained by considering many PS to be created by di- and trihedrals, e.g. a path of rays from satellite to building walls, reflection to streets and back to the sensor or vice versa. If the looking direction exceeds a certain threshold, unique for each geometrical configuration including certain building height and distance to other constructions, the sensor cannot see these scatterers anymore as and many PS get lost (cp. Figure 2). In the Berlin case this seems to happen for incidence angles roughly between 42 and 47 and can be validated by density maps in the following. For the Berlin scene the densities of PS in descending tracks is slightly lower for steep angles which could stem from disadvantageous alignment of buildings in this configuration. The drop for oblique viewing directions is even larger than in the ascending case, but both plots show a common basic behaviour as described above. Unfortunately no additional incidence angles are possible with the current configuration of the satellite orbits to further confirm the investigations. Figure 2. Decrease of PS from facades resulting from larger incidence angles (right side), depending on building height and distance of constructions. Left: whole facade of building contribute with PS (green area); Right: Area of potential PS lost displayed in red, remaining facade with radar returns in green.

Deeper analyses are based on PS density maps which have been created simply by sliding a window of certain extent across the area of interest, counting the PS within it and writing the number to the centre position of the window. Normalization by the window area in square kilometers leads to maps of PS densities, which of course can show extremely high values due to the local high density of points within the small window area. For this investigation the window area has been chosen to be 15 or 30 meters respectively in order to get an impression on the densities in different resolutions. The choice of 30m is more suitable for large area density comparisons, whereas the plots of data using a smaller window show more information in detail. In the following different subregions are selected for further analysis. Figure 5. beam 57: Mean map (top) and PS density map with window size 15m x 15m (bottom); coloration equal to last figures; For middle range incidence angles several floors can be seen, each containing several PS Figure 3. beam 28: Mean map (top), PS density map with window size 15m x 15m (middle) and window size 30m x 30m (bottom), both color coded using density in number of PS per km 2 in a range up to 9*10 4 and 6.5*10 4 respectively; Roof of building showing scattering area at steep incidence angles, for which reason PS density is low for this part of the building Figure 6. beam 85: Mean map (top) and PS density map with window size 15m x 15m (bottom); coloration equal to last figures; Compared to beam 57 less PS can be detected from facades because of shadow areas and reduced resolution in elevation direction. Figure 4. beam 85: Mean map (top), PS density map with window size 15m x 15m (middle) and PS density map with window size 30m x 30m (bottom); coloration equal to last figure; Compared to beam 28 scatterers could be extracted from roof of building (horizontal area with many windows)

Figure 7. Top to bottom: Ascending beam 28, 57 and 85 mean map and PS density map with window size 15m x 15m; coloration equal to last figures; Increased density from beam 28 to 57, but loss to beam 85 as shadow areas and reduced resolution in elevation eliminates PS from facade (floors) Figure 8. Top to bottom: Descending beam 42, 70 and 99 mean map and PS density map (window size 15m x 15m); coloration equal to last figures; Changes of PS densities comparable to ascending track, but all together much more PS extracted, as orientation of buildings parallel to sensor flight direction

From different regions in the given scene it seems that fewer candidates for steep incidence angle cases could be extracted due to weaker returns in addition to possible separation difficulties of isolated targets from background in these cases as areas of overlay are very large for small incidence angles. In addition, some features of buildings produce scattering areas (compare Figure 3), whereby a threshold for the relative quantity of signal to surrounding clutter would have to be chosen very small in order to get any PS from these areas. But the same object shows an enormous increase in PS density - based on the same SCR threshold used - if a larger incidence angle is chosen, e.g. beam 85 in this case, shown in Figure 4. In this example the scattering is generated by a horizontal roof of a building which consists of many windows arranged like tiles. In Figure 6 compared to Figure 5, the reason for the decrease of PS densities for large incidence angles can be seen. An increasing angle will lead to a decrease in resolution in elevation direction. Hence, the visible number of floors of houses, which can easily be extracted in high resolution SAR images, will drop and the number of PS lessens. In addition shadow areas appear evoked by the height of buildings, which also reduces the visibility of facades of nearby houses, dependant on the distance and heights of the constructions, which is also clearly observable in Figures 7 and 8. Differences between ascending and descending orbits in the Berlin case arise from the different viewing directions resulting from the path of the satellite with respect to ground. As commonly known, response of objects change considerable if acquired by SAR from different sides what is the reason for different densities comparing ascending and descending tracks. This effect can be seen especially in Figure 7 compared to Figure 8, as the density of PS is much smaller for beam 28, 57 and 85 compared to the three descending beams. Of course this example is an extreme one as the facades of the buildings in this case are aligned parallel to the sensor and produce many scatterers, but nevertheless emphasizes the high correlation of PS density to geometrical circumstances. 5. SUMMARY AND OUTLOOK This investigation gave a first insight to PS densities obtained for the region of Berlin from different incidence angles and track types. It has been shown that incidence angles in the mid range of approximately 40 to 47 are the best choice for PSI as potential persistent scatterers can be extracted from facades and top of buildings while larger angles will reduce the density due to growing shadow areas and loss of stories of buildings, which are likely to generate many PS. In addition steep looking directions can lead to scattering areas, which will have to be treated in a particular manner in order to extract PS points. The most appropriate incidence angles depend of course on the local relations of building heights and distances in between in addition to given possibilities from orbital positions. From comparison between ascending and descending tracks, it could be shown that the main orientation of the buildings should be considered for maximizing the potential number of scatterers in the scene chosen, if this is feasible for the order. Further investigations will include density analysis of more subregions as the whole scene could not be examined to all extents. In the meantime HH polarized datasets could be obtained and will be included in the following investigation on PS densities which will complete the analysis on the dependence on acquisition parameters. 6. REFERENCES [1] N. Adam, M. Eineder, N. Yague-Martinez, and R. Bamler, "High Resolution Interferometric Stacking with TerraSAR-X", Proceedings of IGARSS, Boston, USA, 2008 [2] H. Breit, T. Fritz, B. Schättler, U. Balss, H. Damerow, and E. Schwarz: "TerraSAR-X SAR Payload Data Processing: Results from Commissioning and Early Operational Phase", Proc. of 7th European Conference on Synthetic Aperture Radar, Friedrichshafen, Germany, 2008 [3] A. Ferretti, C. Prati, and F. Rocca, "Permanent scatterers in SAR interferometry," IEEE Trans. Geosci. Remote Sensing, vol. 39, no. 1, pp. 8-20, 2001 [4] T. Fritz, H. Breit, B. Schättler, U. Balss, M. Lachaise, and M. Eineder: "TerraSAR-X Image Products: Characterization and Verification", Proc. of 7th European Conference on Synthetic Aperture Radar, Friedrichshafen, Germany, 2008 [5] B. Kampes, Radar Interferometry: The Persistent Scatterer Technique,first edition ed., ser. Remote Sensing and Digital Image Processing Series. New York: Springer, 2006. [6] F. Meyer, S. Gernhardt, N. Adam, "Long-Term and Seasonal Subsidence Rates in Urban Areas from Persistent Scatterer Interferometry", Proceedings of URBAN'07, Paris, 2007 [7] B. Schättler, T. Fritz, H. Breit, N. Adam, U. Balss, M. Lachaise, M. Eineder, and A. Niedermeier: "TerraSAR-X SAR Data Processing Results from Commissioning and Early Opera-tional Phase", Proc. Of EARSeL Joint Workshop, Bochum, 2008 7. ACKNOWLEDGEMENTS The author would like to thank the staff at DLR, IMF for the provision of using PSI-GENESIS and their scientific and technical support, especially by Alessandro Parizzi. He kindly helped to solve occurring problems and provided hints during stack processing.